The PER Model of Abstract Non-interference
No abstract available.
Related papers
- Non-interference Preserving Optimising Compilation OOPSLA 2025
- 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
- On the Rôle of Abstract Non-interference in Language-Based Security APLAS 2005
- MRI: Modular reasoning about interference in incremental programming JFP 2012
- SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations POPL 2025
- Verified compilation of CakeML to multiple machine-code targets CPP 2017