Controlled Declassification Based on Intransitive Noninterference
Abstract elided by the publisher.
Related papers
- Type Abstraction for Relaxed Noninterference ECOOP 2017
- Existential Types for Relaxed Noninterference APLAS 2019
- Decidability and proof systems for language-based noninterference relations POPL 2006
- Multiple Facets for Dynamic Information Flow with Exceptions TOPLAS 2017
- Controlling the What and Where of Declassification in Language-Based Security ESOP 2007
- ANOSY: approximated knowledge synthesis with refinement types for declassification PLDI 2022
- Run-time principals in information-flow type systems TOPLAS 2007
- A General Noninterference Policy for Polynomial Time POPL 2023