Abstract non-interference: parameterizing non-interference by abstract interpretation
No abstract available.
Related papers
- Abstract Local Completeness - A Local Form of Abstract Non-interference VMCAI 2025
- Abstract Code Injection - A Semantic Approach Based on Abstract Non-Interference VMCAI 2018
- The PER Model of Abstract Non-interference SAS 2005
- On the Rôle of Abstract Non-interference in Language-Based Security APLAS 2005
- An abstract interpretation for SPMD divergence on reducible control flow graphs POPL 2021
- Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions VMCAI 2017
- Rule Formats for Non Interference ESOP 2003
- A Certified Lightweight Non-interference Java Bytecode Verifier ESOP 2007