Deian Stefan

Registered user since Mon 4 Sep 2017

Name:Deian Stefan
Affiliation:University of California at San Diego, USA

Contributions

HIW 2021 Author of Securing Web-Applications with A Refinement Typed ORM within the HIW 2021-track
PriSC 2021 Session Chair of Invited talk (part of PriSC 2021)
Committee Member in Steering Committee within the PriSC 2021-track
Session Chair of Short talks (part of PriSC 2021)
Committee Member in Program Committee within the PriSC 2021-track
PLDI 2021 Author of Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations within the PLDI-track
POPL 2021 Author of Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade within the POPL-track
REMS-DeepSpec 2020 Author of WebAssembly: sequential and concurrent semantics within the REMS-DeepSpec 2020-track
PriSC 2020 Program Co-Chair in Program Committee within the Principles of Secure Compilation 2020-track
Committee Member in Steering Committee within the Principles of Secure Compilation 2020-track
ICFP 2020 Author of Liquid Information Flow Control within the ICFP Program-track
PLDI 2020 Author of Constant-Time Foundations for the New Spectre Era within the PLDI Research Papers-track
Committee Member in SRC Committee within the Student Research Competition-track
Author of Towards a Verified Range Analysis for JavaScript JITs within the PLDI Research Papers-track
PriSC 2019 Committee Member in Program Committee within the PriSC 2019-track
Author of Trestle: Bridging the Performance and Safety Divide in WebAssembly within the PriSC 2019-track
CurryOn 2018 Author of Constant-time crypto programming with FaCT within the Curry On Talks-track
POST 2019 Author of Foundations for Parallel Information Flow Control Runtime Systems within the POST 2019-track
ETAPS 2019 Author of Information Flow Control Parallel Runtime Systems Foundations within the Posters-track
PLDI 2019 Author of FaCT: A DSL for Timing-Sensitive Computation within the PLDI Research Papers-track
POPL 2019 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
PriSC 2018 Author of Constant-time WebAssembly within the PriSC 2018-track
PLDI 2018 Committee Member in Program Committee
CurryOn 2017 Author of Finding and Preventing Bugs in JavaScript Bindings within the Curry On Talks-track