Stefan, Deian

1. 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
2. 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
3. SoK: Practical Foundations for Software Spectre Defenses
   2021/05/12 by Cauligi, Sunjay, Disselkoen, Craig, Moghimi, Daniel +2 · 5 citations
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Programming Languages (cs.PL)
4. 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)
5. Retrofitting Fine Grain Isolation in the Firefox Renderer (Extended\n Version)
   2020/03/01 by Shravan Narayan, Narayan, Shravan, Craig Disselkoen +13 · 1 voice · 1 citation
   Computer Science · #Advanced Malware Detection Techniques #Security and Verification in Computing #Web Application Security Vulnerabilities #cs.CR
6. Flexible Dynamic Information Flow Control in the Presence of Exceptions
   2012/07/05 by Deian Stefan, Alejandro Russo, Stefan, Deian +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
7. Blocked or Broken? Automatically Detecting When Privacy Interventions Break Websites
   2022/03/07 by Michael Smith, Peter J. Snyder, Smith, Michael +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