Controlling the What and Where of Declassification in Language-Based Security
Abstract elided by the publisher.
Related papers
- Compositional Security Definitions for Higher-Order Where Declassification OOPSLA 2023
- A Design for a Security-Typed Language with Certificate-Based Declassification ESOP 2005
- Dependent Type Theory for Verification of Information Flow and Access Control Policies TOPLAS 2013
- A library for light-weight information-flow security in haskell Haskell 2008
- Controlled Declassification Based on Intransitive Noninterference APLAS 2004
- Existential Types for Relaxed Noninterference APLAS 2019
- Structural Information Flow: A Fresh Look at Types for Non-interference OOPSLA 2025
- Multiple Facets for Dynamic Information Flow with Exceptions TOPLAS 2017