A Semantic Framework for Declassification and Endorsement
No abstract available.
Related papers
- Linear Declassification ESOP 2008
- Controlled Declassification Based on Intransitive Noninterference APLAS 2004
- Adjoining Declassification and Attack Models by Abstract Interpretation ESOP 2005
- 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
- Realising software development as a lived experience Onward! 2012
- ANOSY: approximated knowledge synthesis with refinement types for declassification PLDI 2022
- Compositional Security Definitions for Higher-Order Where Declassification OOPSLA 2023