Static Analysis of Non-interference in Expressive Low-Level Languages
Abstract elided by the publisher.
Related papers
- A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code OOPSLA 2024
- Ownership, encapsulation and the disjointness of type and effect OOPSLA 2002
- Decidability and proof systems for language-based noninterference relations POPL 2006
- SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations POPL 2025
- Information flow inference for ML POPL 2002
- LJGS: Gradual Security Types for Object-Oriented Languages ECOOP 2016
- Cinnamon: A Domain-Specific Language for Binary Profiling and Monitoring CGO 2021
- Ensuring non-interference of composable language extensions SLE 2017