Adjoining Declassification and Attack Models by Abstract Interpretation
Abstract elided by the publisher.
Related papers
- ANOSY: approximated knowledge synthesis with refinement types for declassification PLDI 2022
- Compositional Security Definitions for Higher-Order Where Declassification OOPSLA 2023
- Multiple Facets for Dynamic Information Flow with Exceptions TOPLAS 2017
- Type Abstraction for Relaxed Noninterference ECOOP 2017
- Code Obfuscation Against Abstract Model Checking Attacks VMCAI 2018
- Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation TOPLAS 2024
- Linear Declassification ESOP 2008
- Existential Types for Relaxed Noninterference APLAS 2019