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 at UC San Diego working with Deian Stefan.
My 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

SoK: Practical Foundations for Spectre Defenses   [ paper | arXiv ]
Sunjay Cauligi, Craig Disselkoen, Daniel Moghimi, Gilles Barthe, Deian Stefan
(Under submission)

Swivel: Hardening WebAssembly against Spectre   [ paper | bibtex | arXiv ]
Shravan Narayan, Craig Disselkoen, Daniel Moghimi, Sunjay Cauligi, Evan Johnson, Zhao Gang,
Anjo Vahldiek-Oberwagner, Ravi Sahita, Hovav Shacham, Dean Tullsen, Deian Stefan

High-Assurance Cryptography in the Spectre Era   [ ePrint | bibtex ]
Gilles Barthe, Sunjay Cauligi, Benjamin Grégoire, Adrien Koutsos, Kevin Liao,
Tiago Oliveira, Swarn Priya, Tamara Rezk, Peter Schwabe
Oakland '21

Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade   [ paper | bibtex | arXiv ]
Marco Vassena, Craig Disselkoen, Klaus v. Gleissenthall, Sunjay Cauligi,
Rami Gökhan Kıcı, Ranjit Jhala, Dean Tullsen, Deian Stefan
POPL '21

Constant-Time Foundations for the New Spectre Era   [ paper | bibtex | arXiv | presentation · (video abstract) | github ]
Sunjay Cauligi, Craig Disselkoen, Klaus v. Gleissenthall, Dean Tullsen, Deian Stefan, Tamara Rezk, Gilles Barthe
PLDI '20

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