Deian Stefan
University of California, San Diego
H-index: 32
North America-United States
Top articles of Deian Stefan
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor | Hosein Yavarzadeh Archit Agarwal Max Christman Christina Garman Daniel Genkin | 2024/4/27 | |
Mswasm: Soundly enforcing memory-safe execution of unsafe code | Proceedings of the ACM on Programming Languages | Alexandra E Michael Anitha Gollamudi Jay Bosamiya Evan Johnson Aidan Denlinger | 2023/1/9 |
Foundations of WebAssembly | Karthikeyan Bhargavan Jonathan Protzenko Andreas Rossberg Deian Stefan | 2023/10 | |
Foundations of WebAssembly (Dagstuhl Seminar 23101) | Karthikeyan Bhargavan Jonathan Protzenko Andreas Rossberg Deian Stefan | 2023 | |
3.5 WasmCert-Coq: A Mechanised Specification of WebAssembly | Foundations of WebAssembly | Karthikeyan Bhargavan Jonathan Protzenko Andreas Rossberg Deian Stefan | 2023/10 |
Cachet: A Domain-Specific Language for Trustworthy Just-In-Time Compilers. | Workshop on Principles of Secure Compilation (PriSC) | Michael Smith Abhishek Sharma | 2023/1 |
Half&Half: Demystifying Intel’s directional branch predictors for fast, secure partitioned execution | Hosein Yavarzadeh Mohammadkazem Taram Shravan Narayan Deian Stefan Dean Tullsen | 2023/5/26 | |
How Secrecy Leads to Bad Public Technology | Julia Slupska Jeanette Lowrie Lilly Irani Deian Stefan | 2023/12/13 | |
WaVe: a verifiably secure WebAssembly sandboxing runtime | Evan Johnson Evan Laufer Zijie Zhao Dan Gohman Shravan Narayan | 2023/5/21 | |
Robust constant-time cryptography | arXiv preprint arXiv:2311.05831 | Matthew Kolosick Basavesh Ammanaghatta Shivakumar Sunjay Cauligi Marco Patrignani Marco Vassena | 2023/11/10 |
Going beyond the limits of sfi: Flexible and secure hardware-assisted in-process isolation with hfi | Shravan Narayan Tal Garfinkel Mohammadkazem Taram Joey Rudek Daniel Moghimi | 2023/3/25 | |
From Fine-to Coarse-Grained Dynamic Information Flow Control and Back | Foundations and Trends® in Programming Languages | Marco Vassena Alejandro Russo Deepak Garg Vineet Rajani Deian Stefan | 2023/10/8 |
Securing data across execution contexts | 2022/6/7 | ||
Sok: Practical foundations for software spectre defenses | Sunjay Cauligi Craig Disselkoen Daniel Moghimi Gilles Barthe Deian Stefan | 2022/5/22 | |
Blocked or broken? Automatically detecting when privacy interventions break websites | Michael Smith Peter Snyder Moritz Haller Benjamin Livshits Deian Stefan | 2022/3/7 | |
Isolation without taxation: near-zero-cost transitions for webassembly and sfi | Proceedings of the ACM on Programming Languages | Matthew Kolosick Shravan Narayan Evan Johnson Conrad Watt Michael LeMay | 2022/1/11 |
Segue & colorguard: Optimizing sfi performance and scalability on modern x86 | The 17th Workshop on Programming Languages and Analysis for Security | Shravan Narayan Tal Garfinkel | 2022/11 |
A Turning Point for Verified Spectre Sandboxing | arXiv preprint arXiv:2208.01548 | Sunjay Cauligi Marco Guarnieri Daniel Moghimi Deian Stefan Marco Vassena | 2022/8/2 |
Доверяй, но проверяй: SFI safety for native-compiled Wasm | Network and Distributed Systems Security (NDSS) Symposium | Evan Johnson David Thien Yousef Alhessi Shravan Narayan Fraser Brown | 2021/2 |
Sugarcoat: Programmatically generating privacy-preserving, web-compatible resource replacements for content blocking | Michael Smith Pete Snyder Benjamin Livshits Deian Stefan | 2021/11/12 |