The following pages link to (Q2763677):
Displaying 10 items.
- Validating firewalls using flow logics (Q1603656) (← links)
- Verification of cryptographic protocols: tagging enforces termination (Q1770413) (← links)
- Abstract interpretation of mobile systems (Q1772313) (← links)
- Static analysis for the \(\pi\)-calculus with applications to security (Q1854437) (← links)
- Behavioural typing for safe ambients (Q1869978) (← links)
- Nesting analysis of mobile ambients (Q1886451) (← links)
- A control flow analysis for Beta-binders with and without static compartments (Q2271446) (← links)
- Information flow security in boundary ambients (Q2482455) (← links)
- Cryptographic Analysis in Cubic Time (Q2841271) (← links)
- A Static Analysis for Beta-Binders (Q2870298) (← links)
