A Conference Management System with Verified Document Confidentiality
Abstract elided by the publisher.
Related papers
- A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations OOPSLA 2023
- Scribble: closing the book on ad hoc documentation tools ICFP 2009
- A design and verification methodology for secure isolated regions PLDI 2016
- Verifying Components of Arm® Confidential Computing Architecture with ESBMC SAS 2024
- Conference chairman's opening remarks HOPL 1978
- How to Win First-Order Safety Games VMCAI 2020
- Software evolution and the moving picture metaphor OOPSLA 2009
- Cryptographically sound implementations for typed information-flow security POPL 2008