Sunjay Cauligi

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
USENIX '21

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

	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 USENIX '21 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

Sunjay Cauligi

About Me

Research and Publications