The following pages link to (Q4779098):
Displaying 8 items.
- Magic-sets for localised analysis of Java bytecode (Q656846) (← links)
- Abstract interpretation of mobile systems (Q1772313) (← links)
- Unwinding biological systems (Q2348024) (← links)
- A static analysis of cryptographic processes: the denotational approach (Q2484412) (← links)
- Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols (Q2841265) (← links)
- Cryptographic Analysis in Cubic Time (Q2841271) (← links)
- Techniques for Security Checking (Q2841279) (← links)
- Information Leakage Analysis by Abstract Interpretation (Q3075542) (← links)
