Sunjay Cauligi

This webpage is DEPRECATED.
Find my latest personal webpage here.

About Me

I am currently a postdoc at the Max Planck Institute for Security and Privacy working with Gilles Barthe, but previously I was 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

Spectre Declassified: Reading from the Right Place at the Wrong Time   [ ePrint ]
Basavesh Ammanaghatta Shivakumar, Jack Barnes, Gilles Barthe, Sunjay Cauligi,
Chitchanok Chuengsatiansup, Daniel Genkin, Sioli O'Connell, Peter Schwabe, Rui Qi Sim, Yuval Yarom
(In submission)

SoK: Practical Foundations for Spectre Defenses   [ bibtex | arXiv ]
Sunjay Cauligi, Craig Disselkoen, Daniel Moghimi, Gilles Barthe, Deian Stefan
Oakland '22

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 · (original) | github ]
Sunjay Cauligi, Gary Soeller, Fraser Brown, Brian Johannesmeyer, Yunlu Huang, Ranjit Jhala, Deian Stefan
IEEE SecDev '17