Sunjay Cauligi

Programming Systems Group
Systems and Networking Group
Computer Science and Engineering
University of California San Diego

Email: first-letter-of-first-name last-name AT eng DOT ucsd DOT edu

EBU3B 3144
9500 Gilman Dr.
La Jolla 92093-0404

About Me

I am a PhD student at UC San Diego working with Deian Stefan.
My current interests include semantics, type theory, and language design for creating secure systems.

I completed my undergraduate degrees in Computer Engineering and Mathematics at the University of Washington.

Research and Publications

Towards Constant-Time Foundations for the New Spectre Era   [ paper | arXiv ]
Sunjay Cauligi, Craig Disselkoen, Klaus v. Gleissenthall, Dean Tullsen, Deian Stefan, Tamara Rezk, Gilles Barthe

FaCT: A DSL for Timing-Sensitive Computation   [ paper | bibtex | presentation · (video abstract) | slides | github ]
Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner,
Benjamin Grégoire, Gilles Barthe, Ranjit Jhala, Deian Stefan
PLDI '19

CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem   [ paper | bibtex ]
Conrad Watt, John Renner, Natalie Popescu, Sunjay Cauligi, Deian Stefan
POPL '19

Constant-Time WebAssembly   [ paper | bibtex ]
John Renner, Sunjay Cauligi, Deian Stefan
PriSC '18

FaCT: A Flexible, Constant-Time Programming Language   [ paper | bibtex | slides · (updated) | github ]
Sunjay Cauligi, Gary Soeller, Fraser Brown, Brian Johannesmeyer, Yunlu Huang, Ranjit Jhala, Deian Stefan
IEEE SecDev '17