conf.researchr.org / Deian Stefan
Registered user since Mon 4 Sep 2017
Name:Deian Stefan
Country:United States
Affiliation:University of California at San Diego
Personal website: https://cseweb.ucsd.edu/~dstefan/
Contributions
2024
PLDI
2023
POPL
PriSC
- Author of Robust Constant-Time Cryptography within the PriSC 2023-track
- Author of Cachet: A Domain-Specific Language for Trustworthy Just-In-Time Compilers within the PriSC 2023-track
- Author of FaJITa: Verifying Optimizations on Just-In-Time Programs within the PriSC 2023-track
- Committee Member in Steering Committee within the PriSC 2023-track
2022
PLDI
- Author of (PLDI 2020) Constant-Time Foundations for the New Spectre Era within the SIGPLAN Track-track
- Committee Member in PLDI within the PLDI-track
- Session Chair of Compilation (part of SIGPLAN Track)
- Author of (POPL 2021) Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade within the SIGPLAN Track-track
PLMW
2021
SPLASH
2020
PLDI
DeepSpec
2019
ETAPS
POPL
- Author of Pretend Synchrony: Synchronous Verification of Asynchronous Distributed Programs within the Research Papers-track
- Author of CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem within the Research Papers-track
- Author of From Fine- to Coarse-Grained Dynamic Information Flow Control and Back within the Research Papers-track