Developing Security Systems in the Real World
Abstract elided by the publisher.
Related papers
- Understanding memory and thread safety practices and issues in real-world Rust programs PLDI 2020
- StarMalloc: Verifying a Modern, Hardened Memory Allocator OOPSLA 2024
- Automated Synthesis of Secure Platform Mappings CAV 2019
- Verified security of BLT signature scheme CPP 2020
- Polymorphism and page tables: systems programming from a functional programmer's perspective ICFP 2008
- CCured in the real world PLDI 2003
- Lem: reusable engineering of real-world semantics ICFP 2014
- A design and verification methodology for secure isolated regions PLDI 2016