Deian Stefan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
40
Venues
21
Active years
2008–2026
Best venue rank
A*
Where they publish
Papers
40 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ESOP | Auditing Rust Crates Effectively. | Lydia Zoghbi, David Thien, Ranjit Jhala, Deian Stefan, Caleb Stanford |
| 2025 | ASPLOS | Segue & ColorGuard: Optimizing SFI Performance and Scalability on Modern Architectures. | Shravan Narayan, Tal Garfinkel, Evan Johnson, Zachary Yedidia, Yingchen Wang, Andrew Brown, Anjo Vahldiek-Oberwagner, Michael LeMay, Wenyong Huang, Xin Wang, Mingqiu Sun, Dean M. Tullsen, Deian Stefan |
| 2025 | CCS | Exploiting the Shared Storage API. | Alexandra Nisenoff, Deian Stefan, Nicolas Christin |
| 2025 | IMC | Poster: When Blocks Go Missing: The Timeliness and Trustworthiness of Blockchain RPC Providers. | Ye Shu, Deian Stefan, Stefan Savage, Geoffrey M. Voelker, Enze Liu |
| 2025 | SOSP | TickTock: Verified Isolation in a Production Embedded OS. | Vivien Rindisbacher, Evan Johnson, Nico Lehmann, Tyler Potyondy, Pat Pannuto, Stefan Savage, Deian Stefan, Ranjit Jhala |
| 2024 | ASPLOS | Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor. | Hosein Yavarzadeh, Archit Agarwal, Max Christman, Christina Garman, Daniel Genkin, Andrew Kwong, Daniel Moghimi, Deian Stefan, Kazem Taram, Dean M. Tullsen |
| 2024 | SOSP | Icarus: Trustworthy Just-In-Time Compilers with Symbolic Meta-Execution. | Naomi Smith, Abhishek Sharma, John Renner, David Thien, Fraser Brown, Hovav Shacham, Ranjit Jhala, Deian Stefan |
| 2023 | ASPLOS | 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, Evan Johnson, Chris Fallin, Anjo Vahldiek-Oberwagner, Michael LeMay, Ravi Sahita, Dean M. Tullsen, Deian Stefan |
| 2023 | SP | WaVe: a verifiably secure WebAssembly sandboxing runtime. | Evan Johnson, Evan Laufer, Zijie Zhao, Dan Gohman, Shravan Narayan, Stefan Savage, Deian Stefan, Fraser Brown |
| 2023 | SP | Half&Half: Demystifying Intel's Directional Branch Predictors for Fast, Secure Partitioned Execution. | Hosein Yavarzadeh, Mohammadkazem Taram, Shravan Narayan, Deian Stefan, Dean M. Tullsen |
| 2023 | SP | Half&Half: Demystifying Intel's Directional Branch Predictors for Fast, Secure Partitioned Execution. | Hosein Yavarzadeh, Mohammadkazem Taram, Shravan Narayan, Deian Stefan, Dean M. Tullsen |
| 2022 | SP | SoK: Practical Foundations for Software Spectre Defenses. | Sunjay Cauligi, Craig Disselkoen, Daniel Moghimi, Gilles Barthe, Deian Stefan |
| 2021 | CCS | Solver-Aided Constant-Time Hardware Verification. | Klaus von Gleissenthall, Rami Gkhan Kici, Deian Stefan, Ranjit Jhala |
| 2021 | CCS | SugarCoat: Programmatically Generating Privacy-Preserving, Web-Compatible Resource Replacements for Content Blocking. | Michael Smith, Peter Snyder, Benjamin Livshits, Deian Stefan |
| 2021 | NDSS | Доверя'й, но проверя'й: SFI safety for native-compiled Wasm. | Evan Johnson, David Thien, Yousef Alhessi, Shravan Narayan, Fraser Brown, Sorin Lerner, Tyler McMullen, Stefan Savage, Deian Stefan |
| 2021 | OSDI | STORM: Refinement Types for Secure Web Applications. | Nico Lehmann, Rose Kunkel, Jordan Brown, Jean Yang, Niki Vazou, Nadia Polikarpova, Deian Stefan, Ranjit Jhala |
| 2021 | PLDI | Scooter & Sidecar: a domain-specific approach to writing secure database migrations. | John Renner, Alex Sanchez-Stern, Fraser Brown, Sorin Lerner, Deian Stefan |
| 2020 | PLDI | Towards a verified range analysis for JavaScript JITs. | Fraser Brown, John Renner, Andres Ntzli, Sorin Lerner, Hovav Shacham, Deian Stefan |
| 2020 | PLDI | Constant-time foundations for the new spectre era. | Sunjay Cauligi, Craig Disselkoen, Klaus von Gleissenthall, Dean M. Tullsen, Deian Stefan, Tamara Rezk, Gilles Barthe |
| 2019 | DATE | Towards verified programming of embedded devices. | Jean-Pierre Talpin, Jean-Joseph Marty, Shravan Narayan, Deian Stefan, Rajesh Gupta |
| 2019 | ISCA | Position Paper: Progressive Memory Safety for WebAssembly. | Craig Disselkoen, John Renner, Conrad Watt, Tal Garfinkel, Amit Levy, Deian Stefan |
| 2019 | PLDI | FaCT: a DSL for timing-sensitive computation. | Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner, Benjamin Grgoire, Gilles Barthe, Ranjit Jhala, Deian Stefan |
| 2018 | CCS | Towards Verified, Constant-time Floating Point Operations. | Marc Andrysco, Andres Ntzli, Fraser Brown, Ranjit Jhala, Deian Stefan |
| 2017 | SP | Finding and Preventing Bugs in JavaScript Bindings. | Fraser Brown, Shravan Narayan, Riad S. Wahby, Dawson R. Engler, Ranjit Jhala, Deian Stefan |
| 2016 | CCS | PLAS'16: ACM SIGPLAN 11th Workshop on Programming Languages and Analysis for Security. | Toby C. Murray, Deian Stefan |
| 2015 | HotOS | The Most Dangerous Code in the Browser. | Stefan Heule, Devon Rifkin, Alejandro Russo, Deian Stefan |
| 2014 | ECOOP | Building Secure Systems with LIO (Demo). | Deian Stefan, David Mazires |
| 2014 | HASKELL | Demo proposal: making web applications -XSafe. | Amit A. Levy, David Terei, Deian Stefan, David Mazires |
| 2014 | HASKELL | Building secure systems with LIO (demo). | Deian Stefan, Amit Levy, Alejandro Russo, David Mazires |
| 2014 | OSDI | Protecting Users by Confining JavaScript with COWL. | Deian Stefan, Edward Z. Yang, Petr Marchenko, Alejandro Russo, David Herman, Brad Karp, David Mazires |
| 2013 | ESORICS | Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling. | Deian Stefan, Pablo Buiras, Edward Z. Yang, Amit Levy, David Terei, Alejandro Russo, David Mazires |
| 2013 | HotOS | Toward Principled Browser Security. | Edward Z. Yang, Deian Stefan, John C. Mitchell, David Mazires, Petr Marchenko, Brad Karp |
| 2012 | ICFP | Addressing covert termination and timing channels in concurrent information flow systems. | Deian Stefan, Alejandro Russo, Pablo Buiras, Amit Levy, John C. Mitchell, David Mazires |
| 2012 | OSDI | Hails: Protecting Data Privacy in Untrusted Web Applications. | Daniel B. Giffin, Amit Levy, Deian Stefan, David Terei, David Mazires, John C. Mitchell, Alejandro Russo |
| 2011 | HASKELL | Flexible dynamic information flow control in Haskell. | Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazires |
| 2010 | CHES | Performance Analysis of the SHA-3 Candidates on Exotic Multi-core Architectures. | Joppe W. Bos, Deian Stefan |
| 2010 | FSE | Fast Software AES Encryption. | Dag Arne Osvik, Joppe W. Bos, Deian Stefan, David Canright |
| 2009 | ICICS | User-Assisted Host-Based Detection of Outbound Malware Traffic. | Huijun Xiong, Prateek Malhotra, Deian Stefan, Chehai Wu, Danfeng Yao |
| 2008 | FPGA | A hardware framework for the fast generation of multiple long-period random number streams. | Ishaan L. Dalal, Deian Stefan |
| 2008 | VTC | On Parallelizing the CryptMT Stream Cipher. | Deian Stefan, David B. Nummey, Jared Harwayne-Gidansky, Ishaan L. Dalal |