Disselkoen, Craig
- Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)
2024/03/07 by Joseph W. Cutler, Craig Disselkoen, Cutler, Joseph W. +28 · 3 voices · 5 citations
Computer Science · Social Sciences · #Access Control and Trust #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL
- MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
2022/08/29 by Alexandra E. Michael, Anitha Gollamudi, Michael, Alexandra E. +17 · 2 voices · 2 citations
Computer Science · Engineering · #Physical Unclonable Functions (PUFs) and Hardware Security #Security and Verification in Computing #Semiconductor materials and devices #cs.CR #cs.PL
- Swivel: Hardening WebAssembly against Spectre
2021/02/25 by Narayan, Shravan, Disselkoen, Craig, Moghimi, Daniel +8 · 5 citations
#Cryptography and Security (cs.CR) #D.4.6 #FOS: Computer and information sciences
- Constant-Time Foundations for the New Spectre Era
2019/10/03 by Cauligi, Sunjay, Disselkoen, Craig, Gleissenthall, Klaus v. +4 · 4 citations
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Programming Languages (cs.PL)
- Retrofitting Fine Grain Isolation in the Firefox Renderer (Extended\n Version)
2020/03/01 by Shravan Narayan, Craig Disselkoen, Narayan, Shravan +13 · 1 voice · 1 citation
Computer Science · #Advanced Malware Detection Techniques #Security and Verification in Computing #Web Application Security Vulnerabilities #cs.CR
- SoK: Practical Foundations for Software Spectre Defenses
2021/05/12 by Cauligi, Sunjay, Disselkoen, Craig, Moghimi, Daniel +2 · 4 citations
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Programming Languages (cs.PL)