Linear Declassification
Abstract elided by the publisher.
Related papers
- Controlled Declassification Based on Intransitive Noninterference APLAS 2004
- Adjoining Declassification and Attack Models by Abstract Interpretation ESOP 2005
- A Semantic Framework for Declassification and Endorsement ESOP 2010
- A Design for a Security-Typed Language with Certificate-Based Declassification ESOP 2005
- Controlling the What and Where of Declassification in Language-Based Security ESOP 2007
- ANOSY: approximated knowledge synthesis with refinement types for declassification PLDI 2022
- Compositional Security Definitions for Higher-Order Where Declassification OOPSLA 2023
- Type Abstraction for Relaxed Noninterference ECOOP 2017