Deian Stefan

Google Scholar
22 publications in security and cryptology related venues
Year
Venue
Title
2024
conf/uss
Stateful Least Privilege Authorization for the Cloud.
Leo Cao Luoxi Meng Deian Stefan Earlence Fernandes
2023
conf/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
conf/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
conf/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
journals/popets
Blocked or Broken? Automatically Detecting When Privacy Interventions Break Websites.
Michael Smith Peter Snyder Moritz Haller Benjamin Livshits Deian Stefan Hamed Haddadi
2022
conf/sp
SoK: Practical Foundations for Software Spectre Defenses.
Sunjay Cauligi Craig Disselkoen Daniel Moghimi Gilles Barthe Deian Stefan
2021
conf/ccs
SugarCoat: Programmatically Generating Privacy-Preserving, Web-Compatible Resource Replacements for Content Blocking.
Michael Smith Peter Snyder Benjamin Livshits Deian Stefan
2021
conf/ccs
Solver-Aided Constant-Time Hardware Verification.
Klaus von Gleissenthall Rami Gökhan Kici Deian Stefan Ranjit Jhala
2021
conf/uss
Swivel: Hardening WebAssembly against Spectre.
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/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
2020
conf/uss
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code.
Fraser Brown Deian Stefan Dawson R. Engler
2020
conf/uss
Retrofitting Fine Grain Isolation in the Firefox Renderer.
Shravan Narayan Craig Disselkoen Tal Garfinkel Nathan Froyd Eric Rahm Sorin Lerner Hovav Shacham Deian Stefan
2019
conf/uss
IODINE: Verifying Constant-Time Execution of Hardware.
Klaus von Gleissenthall Rami Gökhan Kici Deian Stefan Ranjit Jhala
2018
conf/ccs
Towards Verified, Constant-time Floating Point Operations.
Marc Andrysco Andres Nötzli Fraser Brown Ranjit Jhala Deian Stefan
2017
conf/sp
Finding and Preventing Bugs in JavaScript Bindings.
Fraser Brown Shravan Narayan Riad S. Wahby Dawson R. Engler Ranjit Jhala Deian Stefan
2016
conf/ccs
PLAS'16: ACM SIGPLAN 11th Workshop on Programming Languages and Analysis for Security.
Toby C. Murray Deian Stefan
2013
conf/esorics
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
2012
journals/compsec
Robustness of keystroke-dynamics based biometrics against synthetic forgeries.
Deian Stefan Xiaokui Shu Danfeng (Daphne) Yao
2010
conf/fse
Fast Software AES Encryption.
Dag Arne Osvik Joppe W. Bos Deian Stefan David Canright
2010
conf/ches
Performance Analysis of the SHA-3 Candidates on Exotic Multi-core Architectures.
Joppe W. Bos Deian Stefan
2010
conf/africacrypt
Improved Linear Differential Attacks on CubeHash.
Shahram Khazaei Simon Knellwolf Willi Meier Deian Stefan
2009
conf/icics
User-Assisted Host-Based Detection of Outbound Malware Traffic.
Huijun Xiong Prateek Malhotra Deian Stefan Chehai Wu Danfeng Yao

Coauthors

Alejandro Russo (1)
Amit Levy (1)
Andres Nötzli (1)
Anjo Vahldiek-Oberwagner (1)
Benjamin Livshits (2)
Chehai Wu (1)
Craig Disselkoen (3)
Dag Arne Osvik (1)
Dan Gohman (1)
Danfeng (Daphne) Yao (1)
Danfeng Yao (1)
Daniel Moghimi (2)
David Canright (1)
David Mazières (1)
David Terei (1)
David Thien (1)
Dawson R. Engler (2)
Dean M. Tullsen (3)
Deian Stefan (22)
Earlence Fernandes (1)
Edward Z. Yang (1)
Eric Rahm (1)
Evan Johnson (3)
Evan Laufer (1)
Fraser Brown (5)
Gilles Barthe (1)
Hamed Haddadi (1)
Hosein Yavarzadeh (2)
Hovav Shacham (2)
Huijun Xiong (1)
Joppe W. Bos (2)
Klaus von Gleissenthall (2)
Leo Cao (1)
Luoxi Meng (1)
Marc Andrysco (1)
Michael Smith (2)
Mohammadkazem Taram (2)
Moritz Haller (1)
Nathan Froyd (1)
Pablo Buiras (1)
Peter Snyder (2)
Prateek Malhotra (1)
Rami Gökhan Kici (2)
Ranjit Jhala (4)
Ravi Sahita (1)
Riad S. Wahby (1)
Shahram Khazaei (1)
Shravan Narayan (7)
Simon Knellwolf (1)
Sorin Lerner (2)
Stefan Savage (2)
Sunjay Cauligi (2)
Tal Garfinkel (1)
Toby C. Murray (1)
Tyler McMullen (1)
Willi Meier (1)
Xiaokui Shu (1)
Yousef Alhessi (1)
Zhao Gang (1)
Zijie Zhao (1)
Filters
Select all Unselect all
Years:  to