Semantics for Noninterference with Interaction Trees
No abstract available.
Related papers
- Modular Denotational Semantics for Effects with Guarded Interaction Trees POPL 2024
- Noninterference through flow analysis JFP 2005
- Abstract Interpretation-Based Static Analysis of Mobile Ambients SAS 2001
- Dijkstra monads forever: termination-sensitive specifications for interaction trees POPL 2021
- Mechanized logical relations for termination-insensitive noninterference POPL 2021
- Context-Dependent Effects in Guarded Interaction Trees ESOP 2025
- Verified secure compilation for mixed-sensitivity concurrent programs JFP 2021
- Interaction trees: representing recursive and impure programs in Coq POPL 2020