Compiling Information-Flow Security to Minimal Trusted Computing Bases
No abstract available.
Related papers
- Cryptographically sound implementations for typed information-flow security POPL 2008
- Agora: Trust Less and Open More in Verification for Confidential Computing OOPSLA 2025
- Caisson: a hardware description language for secure information flow PLDI 2011
- Viaduct: an extensible, optimizing compiler for secure distributed programs PLDI 2021
- LWeb: information flow security for multi-tier web applications POPL 2019
- Interactively verifying absence of explicit information flows in Android apps OOPSLA 2015
- HasTEE: Programming Trusted Execution Environments with Haskell Haskell 2023
- Towards a practical secure concurrent language OOPSLA 2012