Deian Stefan
- MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
2022/08/29 by Alexandra E. Michael, Michael, Alexandra E., Anitha Gollamudi +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
- 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
- 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
- Flexible Dynamic Information Flow Control in the Presence of Exceptions
2012/07/05 by Deian Stefan, Stefan, Deian, Alejandro Russo +5 · 1 citation
Computer Science · Social Sciences · #Access Control and Trust #Cloud Data Security Solutions #Cryptography and Security (cs.CR) #D.1.1 #D.3.3 #D.4.6 #FOS: Computer and information sciences #Programming Languages (cs.PL) #Security and Verification in Computing
- Blocked or Broken? Automatically Detecting When Privacy Interventions Break Websites
2022/03/07 by Michael Smith, Smith, Michael, Peter J. Snyder +9 · 1 citation
Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Internet Traffic Analysis and Secure E-voting #Network Security and Intrusion Detection #Spam and Phishing Detection