Rule Formats for Non Interference
Abstract elided by the publisher.
Related papers
- Hyper Separation Logic PLDI 2026
- Owicki-Gries Reasoning for C11 RAR ECOOP 2020
- Barendregt Convenes with Knaster and Tarski: Strong Rule Induction for Syntax with Bindings POPL 2025
- Abstract non-interference: parameterizing non-interference by abstract interpretation POPL 2004
- The PER Model of Abstract Non-interference SAS 2005
- Abstract Local Completeness - A Local Form of Abstract Non-interference VMCAI 2025
- On the Rôle of Abstract Non-interference in Language-Based Security APLAS 2005
- A Certified Lightweight Non-interference Java Bytecode Verifier ESOP 2007