Security Typings by Abstract Interpretation
Abstract elided by the publisher.
Related papers
- Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode VMCAI 2002
- Decomposing bytecode verification by abstract interpretation TOPLAS 2008
- Sound Symbolic Execution via Abstract Interpretation and Its Application to Security VMCAI 2023
- Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation TOPLAS 2024
- Abstract Interpretation-Based Static Analysis of Mobile Ambients SAS 2001
- Security Types Preserving Compilation: (Extended Abstract) VMCAI 2004
- Responsibility Analysis by Abstract Interpretation SAS 2019
- Relational cost analysis POPL 2017