Deian Stefan
University of California, San Diego
H-index: 32
North America-United States
Top articles of Deian Stefan
Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor
2024/4/27
How Secrecy Leads to Bad Public Technology
2023/12/13
Robust constant-time cryptography
arXiv preprint arXiv:2311.05831
2023/11/10
Ranjit Jhala
H-Index: 31
Deian Stefan
H-Index: 21
From Fine-to Coarse-Grained Dynamic Information Flow Control and Back
Foundations and Trends® in Programming Languages
2023/10/8
Foundations of WebAssembly
2023/10
Deian Stefan
H-Index: 21
3.5 WasmCert-Coq: A Mechanised Specification of WebAssembly
Foundations of WebAssembly
2023/10
Deian Stefan
H-Index: 21
Half&Half: Demystifying Intel’s directional branch predictors for fast, secure partitioned execution
2023/5/26
WaVe: a verifiably secure WebAssembly sandboxing runtime
2023/5/21
Going beyond the limits of sfi: Flexible and secure hardware-assisted in-process isolation with hfi
2023/3/25
Mswasm: Soundly enforcing memory-safe execution of unsafe code
Proceedings of the ACM on Programming Languages
2023/1/9
Foundations of WebAssembly (Dagstuhl Seminar 23101)
2023
Deian Stefan
H-Index: 21
Cachet: A Domain-Specific Language for Trustworthy Just-In-Time Compilers.
Workshop on Principles of Secure Compilation (PriSC)
2023/1
Segue & colorguard: Optimizing sfi performance and scalability on modern x86
The 17th Workshop on Programming Languages and Analysis for Security
2022/11
A Turning Point for Verified Spectre Sandboxing
arXiv preprint arXiv:2208.01548
2022/8/2
Daniel Moghimi
H-Index: 11
Deian Stefan
H-Index: 21
Securing data across execution contexts
2022/6/7
Sok: Practical foundations for software spectre defenses
2022/5/22
Blocked or broken? Automatically detecting when privacy interventions break websites
2022/3/7
Isolation without taxation: near-zero-cost transitions for webassembly and sfi
Proceedings of the ACM on Programming Languages
2022/1/11
Evan Johnson
H-Index: 3
Conrad Watt
H-Index: 5
Deepak Garg
H-Index: 5
Ranjit Jhala
H-Index: 31
Deian Stefan
H-Index: 21
Sugarcoat: Programmatically generating privacy-preserving, web-compatible resource replacements for content blocking
2021/11/12
Michael Smith
H-Index: 19
Deian Stefan
H-Index: 21
Tutorial: Sandboxing (unsafe) C code with RLBox
2021/10/18
Craig Disselkoen
H-Index: 7
Deian Stefan
H-Index: 21