Program Analysis and Programming Languages for Security
Abstract elided by the publisher.
Related papers
- Program Analysis for Web Security SAS 2011
- Finite-State Analysis of Security Protocols CAV 1998
- Semantics and Program Analysis of Computationally Secure Information Flow ESOP 2001
- Handling Encryption in an Analysis for Secure Information Flow ESOP 2003
- Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis ESOP 2001
- Computer Security from a Programming Language and Static Analysis Perspective ESOP 2003
- A Type and Effect Analysis of Security Protocols SAS 2001
- Analysis of Secure Information Flow by Model-Checking APLAS 2001