Deian Stefan -

Registered user since Mon 4 Sep 2017

Name: Deian Stefan

Affiliation: University of California San Diego

Personal website: https://cseweb.ucsd.edu/~dstefan/

Contributions

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
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