More Typed Assembly Languages for Confidentiality
No abstract available.
DOI 10.1007/978-3-540-76637-7_7
Related papers
- A Typed Assembly Language for Confidentiality ESOP 2006
- Verified secure compilation for mixed-sensitivity concurrent programs JFP 2021
- Building Intrusion-Tolerant Secure Software CGO 2005
- Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation PLDI 2023
- End-to-end verification of information-flow security for C and assembly programs PLDI 2016
- Stack-based access control and secure information flow JFP 2005
- Agora: Trust Less and Open More in Verification for Confidential Computing OOPSLA 2025
- Run-time principals in information-flow type systems TOPLAS 2007