Deian Stefan - RankMe

104 papers A* 26A 10C 5Misc 1Journal 42Unranked 18

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Auditing Rust Crates Effectively. ESOP (2) Lydia Zoghbi, David Thien, Ranjit Jhala, Deian Stefan, Caleb Stanford
2026	J	`jnl`	Auditing Rust Crates Effectively. CoRR Lydia Zoghbi, David Thien, Ranjit Jhala, Deian Stefan, Caleb Stanford
2025	A*	`conf`	Exploiting the Shared Storage API. CCS Alexandra Nisenoff, Deian Stefan, Nicolas Christin
2025	A	`conf`	Poster: When Blocks Go Missing: The Timeliness and Trustworthiness of Blockchain RPC Providers. IMC Ye Shu, Deian Stefan, Stefan Savage, Geoffrey M. Voelker, Enze Liu
2025	J	`jnl`	Robust Constant-Time Cryptography. Proc. ACM Program. Lang. Matthew Kolosick, Basavesh Ammanaghatta Shivakumar, Sunjay Cauligi, Marco Patrignani, Marco Vassena, Ranjit Jhala, Deian Stefan
2025	—	`conf`	Segue & ColorGuard: Optimizing SFI Performance and Scalability on Modern Architectures. ASPLOS (1) 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	A*	`conf`	TickTock: Verified Isolation in a Production Embedded OS. SOSP Vivien Rindisbacher, Evan Johnson, Nico Lehmann, Tyler Potyondy, Pat Pannuto, Stefan Savage, Deian Stefan, Ranjit Jhala
2025	J	`jnl`	Utilising and Scaling the WebAssembly Semantics (Dagstuhl Seminar 25241). Dagstuhl Reports Amal Ahmed, Andreas Rossberg, Deian Stefan, Conrad Watt, Michelle Thalakottur
2024	J	`jnl`	Count of Monte Crypto: Accounting-based Defenses for Cross-Chain Bridges. CoRR Enze Liu, Elisa Luo, Jian Chen Yan, Katherine Izhikevich, Stewart Grant, Deian Stefan, Geoffrey M. Voelker, Stefan Savage
2024	J	`jnl`	Hardware-Assisted Fault Isolation: Going Beyond the Limits of Software-Based Sandboxing. IEEE Micro 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
2024	A*	`conf`	Icarus: Trustworthy Just-In-Time Compilers with Symbolic Meta-Execution. SOSP Naomi Smith, Abhishek Sharma, John Renner, David Thien, Fraser Brown, Hovav Shacham, Ranjit Jhala, Deian Stefan
2024	—	`conf`	Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor. ASPLOS (3) Hosein Yavarzadeh, Archit Agarwal, Max Christman, Christina Garman, Daniel Genkin, Andrew Kwong, Daniel Moghimi, Deian Stefan, Kazem Taram, Dean M. Tullsen
2024	A*	`conf`	Stateful Least Privilege Authorization for the Cloud. USENIX Security Symposium Leo Cao, Luoxi Meng, Deian Stefan, Earlence Fernandes
2023	J	`jnl`	Foundations of WebAssembly (Dagstuhl Seminar 23101). Dagstuhl Reports Karthikeyan Bhargavan, Jonathan Protzenko, Andreas Rossberg, Deian Stefan
2023	J	`jnl`	From Fine- to Coarse-Grained Dynamic Information Flow Control and Back. Found. Trends Program. Lang. Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan
2023	—	`conf`	Going beyond the Limits of SFI: Flexible and Secure Hardware-Assisted In-Process Isolation with HFI. ASPLOS (3) 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	A*	`conf`	Half&Half: Demystifying Intel's Directional Branch Predictors for Fast, Secure Partitioned Execution. SP Hosein Yavarzadeh, Mohammadkazem Taram, Shravan Narayan, Deian Stefan, Dean M. Tullsen
2023	A*	`conf`	Half&Half: Demystifying Intel's Directional Branch Predictors for Fast, Secure Partitioned Execution. SP Hosein Yavarzadeh, Mohammadkazem Taram, Shravan Narayan, Deian Stefan, Dean M. Tullsen
2023	J	`jnl`	MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. Proc. ACM Program. Lang. Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan
2023	J	`jnl`	Robust Constant-Time Cryptography. CoRR Matthew Kolosick, Basavesh Ammanaghatta Shivakumar, Sunjay Cauligi, Marco Patrignani, Marco Vassena, Ranjit Jhala, Deian Stefan
2023	A*	`conf`	WaVe: a verifiably secure WebAssembly sandboxing runtime. SP Evan Johnson, Evan Laufer, Zijie Zhao, Dan Gohman, Shravan Narayan, Stefan Savage, Deian Stefan, Fraser Brown
2022	J	`jnl`	A Turning Point for Verified Spectre Sandboxing. CoRR Sunjay Cauligi, Marco Guarnieri, Daniel Moghimi, Deian Stefan, Marco Vassena
2022	J	`jnl`	Blocked or Broken? Automatically Detecting When Privacy Interventions Break Websites. CoRR Michael Smith, Peter Snyder, Moritz Haller, Benjamin Livshits, Deian Stefan, Hamed Haddadi
2022	J	`jnl`	Blocked or Broken? Automatically Detecting When Privacy Interventions Break Websites. Proc. Priv. Enhancing Technol. Michael Smith, Peter Snyder, Moritz Haller, Benjamin Livshits, Deian Stefan, Hamed Haddadi
2022	J	`jnl`	From Fine- to Coarse-Grained Dynamic Information Flow Control and Back, a Tutorial on Dynamic Information Flow. CoRR Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan
2022	J	`jnl`	Isolation without taxation: near-zero-cost transitions for WebAssembly and SFI. Proc. ACM Program. Lang. Matthew Kolosick, Shravan Narayan, Evan Johnson, Conrad Watt, Michael LeMay, Deepak Garg, Ranjit Jhala, Deian Stefan
2022	J	`jnl`	MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. CoRR Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Craig Disselkoen, Aidan Denlinger, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan
2022	A*	`conf`	SoK: Practical Foundations for Software Spectre Defenses. SP Sunjay Cauligi, Craig Disselkoen, Daniel Moghimi, Gilles Barthe, Deian Stefan
2021	J	`jnl`	Automatically eliminating speculative leaks from cryptographic code with blade. Proc. ACM Program. Lang. Marco Vassena, Craig Disselkoen, Klaus von Gleissenthall, Sunjay Cauligi, Rami Gökhan Kici, Ranjit Jhala, Dean M. Tullsen, Deian Stefan
2021	J	`jnl`	Isolation Without Taxation: Near Zero Cost Transitions for SFI. CoRR Matthew Kolosick, Shravan Narayan, Conrad Watt, Michael LeMay, Deepak Garg, Ranjit Jhala, Deian Stefan
2021	A*	`conf`	STORM: Refinement Types for Secure Web Applications. OSDI Nico Lehmann, Rose Kunkel, Jordan Brown, Jean Yang, Niki Vazou, Nadia Polikarpova, Deian Stefan, Ranjit Jhala
2021	A*	`conf`	Scooter & Sidecar: a domain-specific approach to writing secure database migrations. PLDI John Renner, Alex Sanchez-Stern, Fraser Brown, Sorin Lerner, Deian Stefan
2021	J	`jnl`	SoK: Practical Foundations for Spectre Defenses. CoRR Sunjay Cauligi, Craig Disselkoen, Daniel Moghimi, Gilles Barthe, Deian Stefan
2021	J	`jnl`	Solver-Aided Constant-Time Circuit Verification. CoRR Rami Gökhan Kici, Klaus von Gleissenthall, Deian Stefan, Ranjit Jhala
2021	A*	`conf`	Solver-Aided Constant-Time Hardware Verification. CCS Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala
2021	A*	`conf`	SugarCoat: Programmatically Generating Privacy-Preserving, Web-Compatible Resource Replacements for Content Blocking. CCS Michael Smith, Peter Snyder, Benjamin Livshits, Deian Stefan
2021	A*	`conf`	Swivel: Hardening WebAssembly against Spectre. USENIX Security Symposium Shravan Narayan, Craig Disselkoen, Daniel Moghimi, Sunjay Cauligi, Evan Johnson, Zhao Gang, Anjo Vahldiek-Oberwagner, Ravi Sahita, Hovav Shacham, Dean M. Tullsen, Deian Stefan
2021	J	`jnl`	Swivel: Hardening WebAssembly against Spectre. CoRR Shravan Narayan, Craig Disselkoen, Daniel Moghimi, Sunjay Cauligi, Evan Johnson, Zhao Gang, Anjo Vahldiek-Oberwagner, Ravi Sahita, Hovav Shacham, Dean M. Tullsen, Deian Stefan
2021	—	`conf`	Tutorial: Sandboxing (unsafe) C code with RLBox. SecDev Shravan Narayan, Craig Disselkoen, Deian Stefan
2021	A*	`conf`	Доверя'й, но проверя'й: SFI safety for native-compiled Wasm. NDSS Evan Johnson, David Thien, Yousef Alhessi, Shravan Narayan, Fraser Brown, Sorin Lerner, Tyler McMullen, Stefan Savage, Deian Stefan
2020	J	`jnl`	Automatically Eliminating Speculative Leaks With Blade. CoRR Marco Vassena, Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala
2020	A*	`conf`	Constant-time foundations for the new spectre era. PLDI Sunjay Cauligi, Craig Disselkoen, Klaus von Gleissenthall, Dean M. Tullsen, Deian Stefan, Tamara Rezk, Gilles Barthe
2020	J	`jnl`	Liquid information flow control. Proc. ACM Program. Lang. Nadia Polikarpova, Deian Stefan, Jean Yang, Shachar Itzhaky, Travis Hance, Armando Solar-Lezama
2020	J	`jnl`	Retrofitting Fine Grain Isolation in the Firefox Renderer (Extended Version). CoRR Shravan Narayan, Craig Disselkoen, Tal Garfinkel, Nathan Froyd, Eric Rahm, Sorin Lerner, Hovav Shacham, Deian Stefan
2020	A*	`conf`	Retrofitting Fine Grain Isolation in the Firefox Renderer. USENIX Security Symposium Shravan Narayan, Craig Disselkoen, Tal Garfinkel, Nathan Froyd, Eric Rahm, Sorin Lerner, Hovav Shacham, Deian Stefan
2020	A*	`conf`	Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code. USENIX Security Symposium Fraser Brown, Deian Stefan, Dawson R. Engler
2020	J	`jnl`	The Road to Less Trusted Code: Lowering the Barrier to In-Process Sandboxing. login Usenix Mag. Tal Garfinkel, Shravan Narayan, Craig Disselkoen, Hovav Shacham, Deian Stefan
2020	A*	`conf`	Towards a verified range analysis for JavaScript JITs. PLDI Fraser Brown, John Renner, Andres Nötzli, Sorin Lerner, Hovav Shacham, Deian Stefan
2019	J	`jnl`	CT-wasm: type-driven secure cryptography for the web ecosystem. Proc. ACM Program. Lang. Conrad Watt, John Renner, Natalie Popescu, Sunjay Cauligi, Deian Stefan
2019	A*	`conf`	FaCT: a DSL for timing-sensitive computation. PLDI Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner, Benjamin Grégoire, Gilles Barthe, Ranjit Jhala, Deian Stefan
2019	—	`conf`	Foundations for Parallel Information Flow Control Runtime Systems. POST Marco Vassena, Gary Soeller, Peter Amidon, Matthew Chan, John Renner, Deian Stefan
2019	J	`jnl`	From fine- to coarse-grained dynamic information flow control and back. Proc. ACM Program. Lang. Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan
2019	J	`jnl`	Gobi: WebAssembly as a Practical Path to Library Sandboxing. CoRR Shravan Narayan, Tal Garfinkel, Sorin Lerner, Hovav Shacham, Deian Stefan
2019	A*	`conf`	IODINE: Verifying Constant-Time Execution of Hardware. USENIX Security Symposium Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala
2019	J	`jnl`	Iodine: Verifying Constant-Time Execution of Hardware. CoRR Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala
2019	—	`conf`	Position Paper: Progressive Memory Safety for WebAssembly. HASP@ISCA Craig Disselkoen, John Renner, Conrad Watt, Tal Garfinkel, Amit Levy, Deian Stefan
2019	J	`jnl`	Pretend synchrony: synchronous verification of asynchronous distributed programs. Proc. ACM Program. Lang. Klaus von Gleissenthall, Rami Gökhan Kici, Alexander Bakst, Deian Stefan, Ranjit Jhala
2019	J	`jnl`	Towards Constant-Time Foundations for the New Spectre Era. CoRR Sunjay Cauligi, Craig Disselkoen, Klaus von Gleissenthall, Deian Stefan, Tamara Rezk, Gilles Barthe
2019	A	`conf`	Towards verified programming of embedded devices. DATE Jean-Pierre Talpin, Jean-Joseph Marty, Shravan Narayan, Deian Stefan, Rajesh Gupta
2018	—	`conf`	Browser history re: visited. WOOT @ USENIX Security Symposium Michael Smith, Craig Disselkoen, Shravan Narayan, Fraser Brown, Deian Stefan
2018	J	`jnl`	CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem. CoRR Conrad Watt, John Renner, Natalie Popescu, Sunjay Cauligi, Deian Stefan
2018	A*	`conf`	Towards Verified, Constant-time Floating Point Operations. CCS Marc Andrysco, Andres Nötzli, Fraser Brown, Ranjit Jhala, Deian Stefan
2017	—	`conf`	FaCT: A Flexible, Constant-Time Programming Language. SecDev Sunjay Cauligi, Gary Soeller, Fraser Brown, Brian Johannesmeyer, Yunlu Huang, Ranjit Jhala, Deian Stefan
2017	A*	`conf`	Finding and Preventing Bugs in JavaScript Bindings. IEEE Symposium on Security and Privacy Fraser Brown, Shravan Narayan, Riad S. Wahby, Dawson R. Engler, Ranjit Jhala, Deian Stefan
2017	J	`jnl`	Flexible dynamic information flow control in the presence of exceptions. J. Funct. Program. Deian Stefan, David Mazières, John C. Mitchell, Alejandro Russo
2017	J	`jnl`	Hails: Protecting data privacy in untrusted web applications. J. Comput. Secur. Daniel B. Giffin, Amit Levy, Deian Stefan, David Terei, David Mazières, John C. Mitchell, Alejandro Russo
2016	A*	`conf`	PLAS'16: ACM SIGPLAN 11th Workshop on Programming Languages and Analysis for Security. CCS Toby C. Murray, Deian Stefan
2016	—	`ed.`	Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016 PLAS@CCS Toby C. Murray, Deian Stefan
2015	J	`jnl`	IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version). CoRR Stefan Heule, Deian Stefan, Edward Z. Yang, John C. Mitchell, Alejandro Russo
2015	—	`conf`	IFC Inside: Retrofitting Languages with Dynamic Information Flow Control. POST Stefan Heule, Deian Stefan, Edward Z. Yang, John C. Mitchell, Alejandro Russo
2015	J	`jnl`	On Dynamic Flow-Sensitive Floating-Label Systems. CoRR Pablo Buiras, Deian Stefan, Alejandro Russo
2015	—	`—`	Principled and practical web application security. Deian Stefan
2015	A	`conf`	The Most Dangerous Code in the Browser. HotOS Stefan Heule, Devon Rifkin, Alejandro Russo, Deian Stefan
2014	—	`conf`	Building Secure Systems with LIO (Demo). PLAS@ECOOP Deian Stefan, David Mazières
2014	C	`conf`	Building secure systems with LIO (demo). Haskell Deian Stefan, Amit Levy, Alejandro Russo, David Mazières
2014	C	`conf`	Demo proposal: making web applications -XSafe. Haskell Amit A. Levy, David Terei, Deian Stefan, David Mazières
2014	A	`conf`	On Dynamic Flow-Sensitive Floating-Label Systems. CSF Pablo Buiras, Deian Stefan, Alejandro Russo
2014	A*	`conf`	Protecting Users by Confining JavaScript with COWL. OSDI Deian Stefan, Edward Z. Yang, Petr Marchenko, Alejandro Russo, David Herman, Brad Karp, David Mazières
2013	—	`conf`	A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems. TGC Pablo Buiras, Amit Levy, Deian Stefan, Alejandro Russo, David Mazières
2013	A	`conf`	Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling. ESORICS Deian Stefan, Pablo Buiras, Edward Z. Yang, Amit Levy, David Terei, Alejandro Russo, David Mazières
2013	A	`conf`	Toward Principled Browser Security. HotOS Edward Z. Yang, Deian Stefan, John C. Mitchell, David Mazières, Petr Marchenko, Brad Karp
2012	A	`conf`	Addressing covert termination and timing channels in concurrent information flow systems. ICFP Deian Stefan, Alejandro Russo, Pablo Buiras, Amit Levy, John C. Mitchell, David Mazières
2012	J	`jnl`	Data-Provenance Verification For Secure Hosts. IEEE Trans. Dependable Secur. Comput. Kui Xu, Huijun Xiong, Chehai Wu, Deian Stefan, Danfeng Yao
2012	J	`jnl`	Flexible Dynamic Information Flow Control in the Presence of Exceptions CoRR Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazières
2012	A*	`conf`	Hails: Protecting Data Privacy in Untrusted Web Applications. OSDI Daniel B. Giffin, Amit Levy, Deian Stefan, David Terei, David Mazières, John C. Mitchell, Alejandro Russo
2012	A	`conf`	Information-Flow Control for Programming on Encrypted Data. CSF John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman
2012	J	`jnl`	Information-flow control for programming on encrypted data. IACR Cryptol. ePrint Arch. John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman
2012	J	`jnl`	Robustness of keystroke-dynamics based biometrics against synthetic forgeries. Comput. Secur. Deian Stefan, Xiaokui Shu, Danfeng (Daphne) Yao
2011	—	`conf`	A Domain-Specific Language for Computing on Encrypted Data (Invited Talk). FSTTCS Alex Bain, John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman
2011	J	`jnl`	A Domain-Specific Language for Computing on Encrypted Data. IACR Cryptol. ePrint Arch. Alex Bain, John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman
2011	—	`conf`	Disjunction Category Labels. NordSec Deian Stefan, Alejandro Russo, David Mazières, John C. Mitchell
2011	C	`conf`	Flexible dynamic information flow control in Haskell. Haskell Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazières
2010	A*	`conf`	Fast Software AES Encryption. FSE Dag Arne Osvik, Joppe W. Bos, Deian Stefan, David Canright
2010	—	`conf`	Improved Linear Differential Attacks on CubeHash. AFRICACRYPT Shahram Khazaei, Simon Knellwolf, Willi Meier, Deian Stefan
2010	C	`conf`	Keystroke-dynamics authentication against synthetic forgeries. CollaborateCom Deian Stefan, Danfeng Yao
2010	A	`conf`	Performance Analysis of the SHA-3 Candidates on Exotic Multi-core Architectures. CHES Joppe W. Bos, Deian Stefan
2009	J	`jnl`	Fast Implementations of AES on Various Platforms. IACR Cryptol. ePrint Arch. Joppe W. Bos, Dag Arne Osvik, Deian Stefan
2009	Misc	`conf`	Hardware Framework for the Rabbit Stream Cipher. Inscrypt Deian Stefan
2009	—	`conf`	Hardware-Optimized Ziggurat Algorithm for High-Speed Gaussian Random Number Generators. ERSA Hassan Edrees, Brian Cheung, McCullen Sandora, David B. Nummey, Deian Stefan
2009	C	`conf`	User-Assisted Host-Based Detection of Outbound Malware Traffic. ICICS Huijun Xiong, Prateek Malhotra, Deian Stefan, Chehai Wu, Danfeng Yao
2008	A	`conf`	A hardware framework for the fast generation of multiple long-period random number streams. FPGA Ishaan L. Dalal, Deian Stefan
2008	—	`conf`	Low discrepancy sequences for Monte Carlo simulations on reconfigurable platforms. ASAP Ishaan L. Dalal, Deian Stefan, Jared Harwayne-Gidansky
2008	—	`conf`	On Parallelizing the CryptMT Stream Cipher. VTC Spring Deian Stefan, David B. Nummey, Jared Harwayne-Gidansky, Ishaan L. Dalal
2007	J	`jnl`	Prostate ultrasound image processing. ACM Crossroads Deian Stefan