A Design for a Security-Typed Language with Certificate-Based Declassification
No abstract available.
Related papers
- Run-time principals in information-flow type systems TOPLAS 2007
- Controlling the What and Where of Declassification in Language-Based Security ESOP 2007
- Type Abstraction for Relaxed Noninterference ECOOP 2017
- Compositional Security Definitions for Higher-Order Where Declassification OOPSLA 2023
- Existential Types for Relaxed Noninterference APLAS 2019
- Dependent Type Theory for Verification of Information Flow and Access Control Policies TOPLAS 2013
- ANOSY: approximated knowledge synthesis with refinement types for declassification PLDI 2022
- Structural Information Flow: A Fresh Look at Types for Non-interference OOPSLA 2025