Conrad Watt

1. 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
2. Wasm SpecTec: Engineering a Formal Language Standard
   2023/11/13 by Joachim Breitner, Philippa Gardner, Breitner, Joachim +21 · 2 voices
   Computer Science · #Advanced Malware Detection Techniques #Security and Verification in Computing #Software Testing and Debugging Techniques #cs.PL
3. CT-wasm: type-driven secure cryptography for the web ecosystem
   2018/08/03 by Conrad Watt, John Renner, Natalie Popescu +2 · 1 voice
   Computer Science · #Security and Verification in Computing #Web Application Security Vulnerabilities #Cryptographic Implementations and Security
4. Capstone: A Capability-based Foundation for Trustless Secure Memory Access (Extended Version)
   2023/02/27 by Jason Zhijingcheng Yu, Conrad Watt, Yu, Jason Zhijingcheng +7 · 1 voice · 1 citation
   Computer Science · #Cloud Data Security Solutions #Cryptography and Security (cs.CR) #Distributed systems and fault tolerance #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Operating Systems (cs.OS) #Security and Verification in Computing #cs.AR #cs.CR #cs.OS