Sunjay Cauligi

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 18

Top Topics

Programming Language

Encryption Algorithms

Top Venues

Proc. ACM Program. Lang.

IEEE Symposium on Security and Privacy

IACR Cryptol. ePrint Arch.

Publications

Gilles Barthe, Marcel Böhme, Sunjay Cauligi, Chitchanok Chuengsatiansup, Daniel Genkin, Marco Guarnieri, David Mateos Romero, Peter Schwabe, David Wu, Yuval Yarom
Testing side-channel security of cryptographic implementations against future microarchitectures. CoRR (2024)
Basavesh Ammanaghatta Shivakumar, Jack Barnes, Gilles Barthe, Sunjay Cauligi, Chitchanok Chuengsatiansup, Daniel Genkin, Sioli O'Connell, Peter Schwabe, Rui Qi Sim, Yuval Yarom
Spectre Declassified: Reading from the Right Place at the Wrong Time. SP (2023)
Matthew Kolosick, Basavesh Ammanaghatta Shivakumar, Sunjay Cauligi, Marco Patrignani, Marco Vassena, Ranjit Jhala, Deian Stefan
Robust Constant-Time Cryptography. CoRR (2023)
Sunjay Cauligi, Craig Disselkoen, Daniel Moghimi, Gilles Barthe, Deian Stefan
SoK: Practical Foundations for Software Spectre Defenses. IEEE Symposium on Security and Privacy (2022)
Sunjay Cauligi, Marco Guarnieri, Daniel Moghimi, Deian Stefan, Marco Vassena
A Turning Point for Verified Spectre Sandboxing. CoRR (2022)
Basavesh Ammanaghatta Shivakumar, Jack Barnes, Gilles Barthe, Sunjay Cauligi, Chitchanok Chuengsatiansup, Daniel Genkin, Sioli O'Connell, Peter Schwabe, Rui Qi Sim, Yuval Yarom
Spectre Declassified: Reading from the Right Place at the Wrong Time. IACR Cryptol. ePrint Arch. 2022 (2022)
Sunjay Cauligi, Craig Disselkoen, Daniel Moghimi, Gilles Barthe, Deian Stefan
SoK: Practical Foundations for Spectre Defenses. CoRR (2021)
Shravan Narayan, Craig Disselkoen, Daniel Moghimi, Sunjay Cauligi, Evan Johnson, Zhao Gang, Anjo Vahldiek-Oberwagner, Ravi Sahita, Hovav Shacham, Dean M. Tullsen, Deian Stefan
Swivel: Hardening WebAssembly against Spectre. CoRR (2021)
Gilles Barthe, Sunjay Cauligi, Benjamin Grégoire, Adrien Koutsos, Kevin Liao, Tiago Oliveira, Swarn Priya, Tamara Rezk, Peter Schwabe
High-Assurance Cryptography in the Spectre Era. IEEE Symposium on Security and Privacy (2021)
Marco Vassena, Craig Disselkoen, Klaus von Gleissenthall, Sunjay Cauligi, Rami Gökhan Kici, Ranjit Jhala, Dean M. Tullsen, Deian Stefan
Automatically eliminating speculative leaks from cryptographic code with blade. Proc. ACM Program. Lang. 5 (POPL) (2021)
Shravan Narayan, Craig Disselkoen, Daniel Moghimi, Sunjay Cauligi, Evan Johnson, Zhao Gang, Anjo Vahldiek-Oberwagner, Ravi Sahita, Hovav Shacham, Dean M. Tullsen, Deian Stefan
Swivel: Hardening WebAssembly against Spectre. USENIX Security Symposium (2021)
Gilles Barthe, Sunjay Cauligi, Benjamin Grégoire, Adrien Koutsos, Kevin Liao, Tiago Oliveira, Swarn Priya, Tamara Rezk, Peter Schwabe
High-Assurance Cryptography Software in the Spectre Era. IACR Cryptol. ePrint Arch. 2020 (2020)
Sunjay Cauligi, Craig Disselkoen, Klaus von Gleissenthall, Dean M. Tullsen, Deian Stefan, Tamara Rezk, Gilles Barthe
Constant-time foundations for the new spectre era. PLDI (2020)
Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner, Benjamin Grégoire, Gilles Barthe, Ranjit Jhala, Deian Stefan
FaCT: a DSL for timing-sensitive computation. PLDI (2019)
Conrad Watt, John Renner, Natalie Popescu, Sunjay Cauligi, Deian Stefan
CT-wasm: type-driven secure cryptography for the web ecosystem. Proc. ACM Program. Lang. 3 (POPL) (2019)
Sunjay Cauligi, Craig Disselkoen, Klaus von Gleissenthall, Deian Stefan, Tamara Rezk, Gilles Barthe
Towards Constant-Time Foundations for the New Spectre Era. CoRR (2019)
Conrad Watt, John Renner, Natalie Popescu, Sunjay Cauligi, Deian Stefan
CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem. CoRR (2018)
Sunjay Cauligi, Gary Soeller, Fraser Brown, Brian Johannesmeyer, Yunlu Huang, Ranjit Jhala, Deian Stefan
FaCT: A Flexible, Constant-Time Programming Language. SecDev (2017)