FaCT: A Flexible, Constant-Time Programming Language. - Sunjay Cauligi; Gary Soeller; Fraser Brown; Brian Johannesmeyer; Yunlu Huang; Ranjit Jhala; Deian Stefan (SecDev, 2017)

FaCT: a DSL for timing-sensitive computation. - Sunjay Cauligi; Gary Soeller; Brian Johannesmeyer; Fraser Brown; Riad S. Wahby; John Renner; Benjamin Grégoire; Gilles Barthe; Ranjit Jhala; Deian Stefan (PLDI, 2019)

Towards Constant-Time Foundations for the New Spectre Era. - Sunjay Cauligi; Craig Disselkoen; Klaus von Gleissenthall; Deian Stefan; Tamara Rezk; Gilles Barthe (CoRR, 2019)

CT-wasm: type-driven secure cryptography for the web ecosystem. - Conrad Watt; John Renner; Natalie Popescu; Sunjay Cauligi; Deian Stefan (Proc. ACM Program. Lang., 2019)

Constant-time foundations for the new spectre era. - Sunjay Cauligi; Craig Disselkoen; Klaus von Gleissenthall; Dean M. Tullsen; Deian Stefan; Tamara Rezk; Gilles Barthe (PLDI, 2020)

High-Assurance Cryptography Software in the Spectre Era. - Gilles Barthe; Sunjay Cauligi; Benjamin Grégoire; Adrien Koutsos; Kevin Liao; Tiago Oliveira 004; Swarn Priya; Tamara Rezk; Peter Schwabe (IACR Cryptol. ePrint Arch., 2020)

High-Assurance Cryptography in the Spectre Era. - Gilles Barthe; Sunjay Cauligi; Benjamin Grégoire; Adrien Koutsos; Kevin Liao; Tiago Oliveira 004; Swarn Priya; Tamara Rezk; Peter Schwabe (SP, 2021)

Swivel: Hardening WebAssembly against Spectre. - Shravan Narayan; Craig Disselkoen; Daniel Moghimi; Sunjay Cauligi; Evan Johnson 001; Zhao Gang; Anjo Vahldiek-Oberwagner; Ravi Sahita; Hovav Shacham; Dean M. Tullsen; Deian Stefan (USENIX Security Symposium, 2021)

SoK: Practical Foundations for Spectre Defenses. - Sunjay Cauligi; Craig Disselkoen; Daniel Moghimi; Gilles Barthe; Deian Stefan (CoRR, 2021)

Automatically eliminating speculative leaks from cryptographic code with blade. - Marco Vassena; Craig Disselkoen; Klaus von Gleissenthall; Sunjay Cauligi; Rami Gökhan Kici; Ranjit Jhala; Dean M. Tullsen; Deian Stefan (Proc. ACM Program. Lang., 2021)

Foundations for Speculative Side Channels. - Sunjay Cauligi (2021)

SoK: Practical Foundations for Software Spectre Defenses. - Sunjay Cauligi; Craig Disselkoen; Daniel Moghimi; Gilles Barthe; Deian Stefan (SP, 2022)

A Turning Point for Verified Spectre Sandboxing. - Sunjay Cauligi; Marco Guarnieri; Daniel Moghimi; Deian Stefan; Marco Vassena (CoRR, 2022)

Spectre Declassified: Reading from the Right Place at the Wrong Time. - Basavesh Ammanaghatta Shivakumar; Jack Barnes; Gilles Barthe; Sunjay Cauligi; Chitchanok Chuengsatiansup; Daniel Genkin; Sioli O'Connell; Peter Schwabe; Rui Qi Sim; Yuval Yarom (IACR Cryptol. ePrint Arch., 2022)

Testing Side-channel Security of Cryptographic Implementations against Future Microarchitectures. - Gilles Barthe; Marcel Böhme; Sunjay Cauligi; Chitchanok Chuengsatiansup; Daniel Genkin; Marco Guarnieri; David Mateos Romero; Peter Schwabe; David Wu; Yuval Yarom (CCS, 2024)

Robust Constant-Time Cryptography. - Matthew Kolosick; Basavesh Ammanaghatta Shivakumar; Sunjay Cauligi; Marco Patrignani; Marco Vassena; Ranjit Jhala; Deian Stefan (Proc. ACM Program. Lang., 2025)