On the Rôle of Abstract Non-interference in Language-Based Security
No abstract available.
Related papers
- Non-interference Preserving Optimising Compilation OOPSLA 2025
- On the computational soundness of cryptographically masked flows POPL 2008
- Abstract non-interference: parameterizing non-interference by abstract interpretation POPL 2004
- 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
- SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations POPL 2025
- Structural Information Flow: A Fresh Look at Types for Non-interference OOPSLA 2025