6 on this site · 29 links
Teaching at Cambridge3rd Jan 2025
Secure Programming with Dispersed Compartments1st May 2022
Snape: The Dark Art of Handling Heterogeneous Enclaves1st Mar 2019
Control flow analysis for privilege separation1st Aug 2011
Extending 64-bit MIPS support for LLVM1st Aug 2011
The Case for Abstracting Security Policies1st Jun 2003
Secure Programming with Dispersed Compartments1st May 2022Snape: The Dark Art of Handling Heterogeneous Enclaves1st Mar 2019Control flow analysis for privilege separation1st Aug 2011Extending 64-bit MIPS support for LLVM1st Aug 2011The Case for Abstracting Security Policies1st Jun 2003