A Typed Assembly Language for Confidentiality
Abstract elided by the publisher.
Related papers
- More Typed Assembly Languages for Confidentiality APLAS 2007
- Building Intrusion-Tolerant Secure Software CGO 2005
- End-to-end verification of information-flow security for C and assembly programs PLDI 2016
- Verified secure compilation for mixed-sensitivity concurrent programs JFP 2021
- Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation PLDI 2023
- Stack-based access control and secure information flow JFP 2005
- Automated Analysis of Java Methods for Confidentiality CAV 2009
- A Conference Management System with Verified Document Confidentiality CAV 2014