The following pages link to Trust in the λ-calculus (Q4234769):
Displaying 4 items.
- Efficient static checker for tainted variable attacks (Q1651020) (← links)
- Static analysis for the \(\pi\)-calculus with applications to security (Q1854437) (← links)
- Optimality and condensing of information flow through linear refinement (Q2464935) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465849) (← links)