Prostate ultrasound image processing. - Deian Stefan (ACM Crossroads, 2007)

Low discrepancy sequences for Monte Carlo simulations on reconfigurable platforms. - Ishaan L. Dalal; Deian Stefan; Jared Harwayne-Gidansky (ASAP, 2008)

A hardware framework for the fast generation of multiple long-period random number streams. - Ishaan L. Dalal; Deian Stefan (FPGA, 2008)

On Parallelizing the CryptMT Stream Cipher. - Deian Stefan; David B. Nummey; Jared Harwayne-Gidansky; Ishaan L. Dalal (VTC Spring, 2008)

Hardware Framework for the Rabbit Stream Cipher. - Deian Stefan (Inscrypt, 2009)

Hardware-Optimized Ziggurat Algorithm for High-Speed Gaussian Random Number Generators. - Hassan Edrees; Brian Cheung; McCullen Sandora; David B. Nummey; Deian Stefan (ERSA, 2009)

User-Assisted Host-Based Detection of Outbound Malware Traffic. - Huijun Xiong; Prateek Malhotra; Deian Stefan; Chehai Wu; Danfeng Yao (ICICS, 2009)

Fast Implementations of AES on Various Platforms. - Joppe W. Bos; Dag Arne Osvik; Deian Stefan (IACR Cryptol. ePrint Arch., 2009)

Improved Linear Differential Attacks on CubeHash. - Shahram Khazaei; Simon Knellwolf; Willi Meier; Deian Stefan (AFRICACRYPT, 2010)

Performance Analysis of the SHA-3 Candidates on Exotic Multi-core Architectures. - Joppe W. Bos; Deian Stefan (CHES, 2010)

Keystroke-dynamics authentication against synthetic forgeries. - Deian Stefan; Danfeng Yao (CollaborateCom, 2010)

Fast Software AES Encryption. - Dag Arne Osvik; Joppe W. Bos; Deian Stefan; David Canright (FSE, 2010)

A Domain-Specific Language for Computing on Encrypted Data (Invited Talk). - Alex Bain; John C. Mitchell; Rahul Sharma 001; Deian Stefan; Joe Zimmerman (FSTTCS, 2011)

Flexible dynamic information flow control in Haskell. - Deian Stefan; Alejandro Russo; John C. Mitchell; David Mazières (Haskell, 2011)

Disjunction Category Labels. - Deian Stefan; Alejandro Russo; David Mazières; John C. Mitchell (NordSec, 2011)

A Domain-Specific Language for Computing on Encrypted Data. - Alex Bain; John C. Mitchell; Rahul Sharma 001; Deian Stefan; Joe Zimmerman (IACR Cryptol. ePrint Arch., 2011)

Addressing covert termination and timing channels in concurrent information flow systems. - Deian Stefan; Alejandro Russo; Pablo Buiras; Amit Levy; John C. Mitchell; David Mazières (ICFP, 2012)

Robustness of keystroke-dynamics based biometrics against synthetic forgeries. - Deian Stefan; Xiaokui Shu; Danfeng (Daphne) Yao (Comput. Secur., 2012)

Information-flow control for programming on encrypted data. - John C. Mitchell; Rahul Sharma 001; Deian Stefan; Joe Zimmerman (IACR Cryptol. ePrint Arch., 2012)

Data-Provenance Verification For Secure Hosts. - Kui Xu 002; Huijun Xiong; Chehai Wu; Deian Stefan; Danfeng Yao (IEEE Trans. Dependable Secur. Comput., 2012)

Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling. - Deian Stefan; Pablo Buiras; Edward Z. Yang; Amit Levy; David Terei; Alejandro Russo; David Mazières (ESORICS, 2013)

Toward Principled Browser Security. - Edward Z. Yang; Deian Stefan; John C. Mitchell; David Mazières; Petr Marchenko; Brad Karp (HotOS, 2013)

A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems. - Pablo Buiras; Amit Levy; Deian Stefan; Alejandro Russo; David Mazières (TGC, 2013)

On Dynamic Flow-Sensitive Floating-Label Systems. - Pablo Buiras; Deian Stefan; Alejandro Russo (CSF, 2014)

Building Secure Systems with LIO (Demo). - Deian Stefan; David Mazières (PLAS@ECOOP, 2014)

Demo proposal: making web applications -XSafe. - Amit A. Levy; David Terei; Deian Stefan; David Mazières (Haskell, 2014)

Building secure systems with LIO (demo). - Deian Stefan; Amit Levy; Alejandro Russo; David Mazières (Haskell, 2014)

Protecting Users by Confining JavaScript with COWL. - Deian Stefan; Edward Z. Yang; Petr Marchenko; Alejandro Russo; David Herman; Brad Karp; David Mazières (OSDI, 2014)

The Most Dangerous Code in the Browser. - Stefan Heule; Devon Rifkin; Alejandro Russo; Deian Stefan (HotOS, 2015)

IFC Inside: Retrofitting Languages with Dynamic Information Flow Control. - Stefan Heule; Deian Stefan; Edward Z. Yang; John C. Mitchell; Alejandro Russo (POST, 2015)

IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version). - Stefan Heule; Deian Stefan; Edward Z. Yang; John C. Mitchell; Alejandro Russo (CoRR, 2015)

Principled and practical web application security. - Deian Stefan (2015)

PLAS'16: ACM SIGPLAN 11th Workshop on Programming Languages and Analysis for Security. - Toby C. Murray; Deian Stefan (CCS, 2016)

FaCT: A Flexible, Constant-Time Programming Language. - Sunjay Cauligi; Gary Soeller; Fraser Brown; Brian Johannesmeyer; Yunlu Huang; Ranjit Jhala; Deian Stefan (SecDev, 2017)

Finding and Preventing Bugs in JavaScript Bindings. - Fraser Brown; Shravan Narayan; Riad S. Wahby; Dawson R. Engler; Ranjit Jhala; Deian Stefan (IEEE Symposium on Security and Privacy, 2017)

Hails: Protecting data privacy in untrusted web applications. - Daniel B. Giffin; Amit Levy; Deian Stefan; David Terei; David Mazières; John C. Mitchell; Alejandro Russo (J. Comput. Secur., 2017)

Flexible dynamic information flow control in the presence of exceptions. - Deian Stefan; David Mazières; John C. Mitchell; Alejandro Russo (J. Funct. Program., 2017)

Towards Verified, Constant-time Floating Point Operations. - Marc Andrysco; Andres Nötzli; Fraser Brown; Ranjit Jhala; Deian Stefan (CCS, 2018)

Browser history re: visited. - Michael Smith; Craig Disselkoen; Shravan Narayan; Fraser Brown; Deian Stefan (WOOT @ USENIX Security Symposium, 2018)

Towards verified programming of embedded devices. - Jean-Pierre Talpin; Jean-Joseph Marty; Shravan Narayan; Deian Stefan; Rajesh Gupta 001 (DATE, 2019)

Position Paper: Progressive Memory Safety for WebAssembly. - Craig Disselkoen; John Renner; Conrad Watt; Tal Garfinkel; Amit Levy; Deian Stefan (HASP@ISCA, 2019)

FaCT: a DSL for timing-sensitive computation. - Sunjay Cauligi; Gary Soeller; Brian Johannesmeyer; Fraser Brown; Riad S. Wahby; John Renner; Benjamin Grégoire; Gilles Barthe; Ranjit Jhala; Deian Stefan (PLDI, 2019)

Foundations for Parallel Information Flow Control Runtime Systems. - Marco Vassena; Gary Soeller; Peter Amidon; Matthew Chan; John Renner; Deian Stefan (POST, 2019)

IODINE: Verifying Constant-Time Execution of Hardware. - Klaus von Gleissenthall; Rami Gökhan Kici; Deian Stefan; Ranjit Jhala (USENIX Security Symposium, 2019)

Towards Constant-Time Foundations for the New Spectre Era. - Sunjay Cauligi; Craig Disselkoen; Klaus von Gleissenthall; Deian Stefan; Tamara Rezk; Gilles Barthe (CoRR, 2019)

Gobi: WebAssembly as a Practical Path to Library Sandboxing. - Shravan Narayan; Tal Garfinkel; Sorin Lerner; Hovav Shacham; Deian Stefan (CoRR, 2019)

Pretend synchrony: synchronous verification of asynchronous distributed programs. - Klaus von Gleissenthall; Rami Gökhan Kici; Alexander Bakst; Deian Stefan; Ranjit Jhala (Proc. ACM Program. Lang., 2019)

CT-wasm: type-driven secure cryptography for the web ecosystem. - Conrad Watt; John Renner; Natalie Popescu; Sunjay Cauligi; Deian Stefan (Proc. ACM Program. Lang., 2019)

Towards a verified range analysis for JavaScript JITs. - Fraser Brown; John Renner; Andres Nötzli; Sorin Lerner; Hovav Shacham; Deian Stefan (PLDI, 2020)

Constant-time foundations for the new spectre era. - Sunjay Cauligi; Craig Disselkoen; Klaus von Gleissenthall; Dean M. Tullsen; Deian Stefan; Tamara Rezk; Gilles Barthe (PLDI, 2020)

Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code. - Fraser Brown; Deian Stefan; Dawson R. Engler (USENIX Security Symposium, 2020)

Retrofitting Fine Grain Isolation in the Firefox Renderer. - Shravan Narayan; Craig Disselkoen; Tal Garfinkel; Nathan Froyd; Eric Rahm; Sorin Lerner; Hovav Shacham; Deian Stefan (USENIX Security Symposium, 2020)

Retrofitting Fine Grain Isolation in the Firefox Renderer (Extended Version). - Shravan Narayan; Craig Disselkoen; Tal Garfinkel; Nathan Froyd; Eric Rahm; Sorin Lerner; Hovav Shacham; Deian Stefan (CoRR, 2020)

Automatically Eliminating Speculative Leaks With Blade. - Marco Vassena; Klaus von Gleissenthall; Rami Gökhan Kici; Deian Stefan; Ranjit Jhala (CoRR, 2020)

Liquid information flow control. - Nadia Polikarpova; Deian Stefan; Jean Yang 001; Shachar Itzhaky; Travis Hance; Armando Solar-Lezama (Proc. ACM Program. Lang., 2020)

The Road to Less Trusted Code: Lowering the Barrier to In-Process Sandboxing. - Tal Garfinkel; Shravan Narayan; Craig Disselkoen; Hovav Shacham; Deian Stefan (login Usenix Mag., 2020)

Solver-Aided Constant-Time Hardware Verification. - Klaus von Gleissenthall; Rami Gökhan Kici; Deian Stefan; Ranjit Jhala (CCS, 2021)

SugarCoat: Programmatically Generating Privacy-Preserving, Web-Compatible Resource Replacements for Content Blocking. - Michael Smith; Peter Snyder; Benjamin Livshits; Deian Stefan (CCS, 2021)

Доверя'й, но проверя'й: SFI safety for native-compiled Wasm. - Evan Johnson 001; David Thien; Yousef Alhessi; Shravan Narayan; Fraser Brown; Sorin Lerner; Tyler McMullen; Stefan Savage; Deian Stefan (NDSS, 2021)

STORM: Refinement Types for Secure Web Applications. - Nico Lehmann; Rose Kunkel; Jordan Brown; Jean Yang 001; Niki Vazou; Nadia Polikarpova; Deian Stefan; Ranjit Jhala (OSDI, 2021)

Scooter & Sidecar: a domain-specific approach to writing secure database migrations. - John Renner; Alex Sanchez-Stern; Fraser Brown; Sorin Lerner; Deian Stefan (PLDI, 2021)

Tutorial: Sandboxing (unsafe) C code with RLBox. - Shravan Narayan; Craig Disselkoen; Deian Stefan (SecDev, 2021)

Swivel: Hardening WebAssembly against Spectre. - Shravan Narayan; Craig Disselkoen; Daniel Moghimi; Sunjay Cauligi; Evan Johnson 001; Zhao Gang; Anjo Vahldiek-Oberwagner; Ravi Sahita; Hovav Shacham; Dean M. Tullsen; Deian Stefan (USENIX Security Symposium, 2021)

Solver-Aided Constant-Time Circuit Verification. - Rami Gökhan Kici; Klaus von Gleissenthall; Deian Stefan; Ranjit Jhala (CoRR, 2021)

Isolation Without Taxation: Near Zero Cost Transitions for SFI. - Matthew Kolosick; Shravan Narayan; Conrad Watt; Michael LeMay; Deepak Garg 001; Ranjit Jhala; Deian Stefan (CoRR, 2021)

SoK: Practical Foundations for Spectre Defenses. - Sunjay Cauligi; Craig Disselkoen; Daniel Moghimi; Gilles Barthe; Deian Stefan (CoRR, 2021)

Automatically eliminating speculative leaks from cryptographic code with blade. - Marco Vassena; Craig Disselkoen; Klaus von Gleissenthall; Sunjay Cauligi; Rami Gökhan Kici; Ranjit Jhala; Dean M. Tullsen; Deian Stefan (Proc. ACM Program. Lang., 2021)

SoK: Practical Foundations for Software Spectre Defenses. - Sunjay Cauligi; Craig Disselkoen; Daniel Moghimi; Gilles Barthe; Deian Stefan (SP, 2022)

A Turning Point for Verified Spectre Sandboxing. - Sunjay Cauligi; Marco Guarnieri; Daniel Moghimi; Deian Stefan; Marco Vassena (CoRR, 2022)

From Fine- to Coarse-Grained Dynamic Information Flow Control and Back, a Tutorial on Dynamic Information Flow. - Marco Vassena; Alejandro Russo; Deepak Garg 001; Vineet Rajani; Deian Stefan (CoRR, 2022)

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. - Alexandra E. Michael; Anitha Gollamudi; Jay Bosamiya; Craig Disselkoen; Aidan Denlinger; Conrad Watt; Bryan Parno; Marco Patrignani; Marco Vassena; Deian Stefan (CoRR, 2022)

Isolation without taxation: near-zero-cost transitions for WebAssembly and SFI. - Matthew Kolosick; Shravan Narayan; Evan Johnson 001; Conrad Watt; Michael LeMay; Deepak Garg 001; Ranjit Jhala; Deian Stefan (Proc. ACM Program. Lang., 2022)

Blocked or Broken? Automatically Detecting When Privacy Interventions Break Websites. - Michael Smith; Peter Snyder; Moritz Haller; Benjamin Livshits; Deian Stefan; Hamed Haddadi (Proc. Priv. Enhancing Technol., 2022)

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 001; Chris Fallin; Anjo Vahldiek-Oberwagner; Michael LeMay; Ravi Sahita; Dean M. Tullsen; Deian Stefan (ASPLOS (3), 2023)

WaVe: a verifiably secure WebAssembly sandboxing runtime. - Evan Johnson 001; Evan Laufer; Zijie Zhao; Dan Gohman; Shravan Narayan; Stefan Savage; Deian Stefan; Fraser Brown (SP, 2023)

Half&Half: Demystifying Intel's Directional Branch Predictors for Fast, Secure Partitioned Execution. - Hosein Yavarzadeh; Mohammadkazem Taram; Shravan Narayan; Deian Stefan; Dean M. Tullsen (SP, 2023)

From Fine- to Coarse-Grained Dynamic Information Flow Control and Back. - Marco Vassena; Alejandro Russo; Deepak Garg 001; Vineet Rajani; Deian Stefan (Found. Trends Program. Lang., 2023)

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. - Alexandra E. Michael; Anitha Gollamudi; Jay Bosamiya; Evan Johnson 001; Aidan Denlinger; Craig Disselkoen; Conrad Watt; Bryan Parno; Marco Patrignani; Marco Vassena; Deian Stefan (Proc. ACM Program. Lang., 2023)

Foundations of WebAssembly (Dagstuhl Seminar 23101). - Karthikeyan Bhargavan; Jonathan Protzenko; Andreas Rossberg; Deian Stefan (Dagstuhl Reports, 2023)

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 (ASPLOS (3), 2024)

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 (SOSP, 2024)

Stateful Least Privilege Authorization for the Cloud. - Leo Cao; Luoxi Meng; Deian Stefan; Earlence Fernandes (USENIX Security Symposium, 2024)

Count of Monte Crypto: Accounting-based Defenses for Cross-Chain Bridges. - Enze Liu 001; Elisa Luo; Jian Chen Yan; Katherine Izhikevich; Stewart Grant; Deian Stefan; Geoffrey M. Voelker; Stefan Savage (CoRR, 2024)

Hardware-Assisted Fault Isolation: Going Beyond the Limits of Software-Based Sandboxing. - Shravan Narayan; Tal Garfinkel; Mohammadkazem Taram; Joey Rudek; Daniel Moghimi; Evan Johnson 001; Chris Fallin; Anjo Vahldiek-Oberwagner; Michael LeMay; Ravi Sahita; Dean M. Tullsen; Deian Stefan (IEEE Micro, 2024)

Segue & ColorGuard: Optimizing SFI Performance and Scalability on Modern Architectures. - Shravan Narayan; Tal Garfinkel; Evan Johnson 001; Zachary Yedidia; Yingchen Wang; Andrew Brown; Anjo Vahldiek-Oberwagner; Michael LeMay; Wenyong Huang; Xin Wang; Mingqiu Sun; Dean M. Tullsen; et al. (ASPLOS (1), 2025)

Robust Constant-Time Cryptography. - Matthew Kolosick; Basavesh Ammanaghatta Shivakumar; Sunjay Cauligi; Marco Patrignani; Marco Vassena; Ranjit Jhala; Deian Stefan (Proc. ACM Program. Lang., 2025)