On interference abstractions

Related papers

• 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
• Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions VMCAI 2017
• The PER Model of Abstract Non-interference SAS 2005
• On the Rôle of Abstract Non-interference in Language-Based Security APLAS 2005
• Composing Interfering Abstract Protocols ECOOP 2016
• IFRit: interference-free regions for dynamic data-race detection OOPSLA 2012