Sunjay Cauligi

According to our database, Sunjay Cauligi authored at least 16 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

CoRR, 2024

2023

Robust Constant-Time Cryptography.

Matthew Kolosick, Basavesh Ammanaghatta Shivakumar, Sunjay Cauligi, Marco Patrignani, Marco Vassena, Ranjit Jhala, Deian Stefan

CoRR, 2023

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

A Turning Point for Verified Spectre Sandboxing.

Sunjay Cauligi, Marco Guarnieri, Daniel Moghimi, Deian Stefan, Marco Vassena

CoRR, 2022

SoK: Practical Foundations for Software Spectre Defenses.

Sunjay Cauligi, Craig Disselkoen, Daniel Moghimi, Gilles Barthe, Deian Stefan

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

2021

Foundations for Speculative Side Channels.

Sunjay Cauligi

PhD thesis, 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

SoK: Practical Foundations for Spectre Defenses.

Sunjay Cauligi, Craig Disselkoen, Daniel Moghimi, Gilles Barthe, Deian Stefan

CoRR, 2021

Swivel: Hardening WebAssembly against Spectre.

Shravan Narayan, Craig Disselkoen, Daniel Moghimi, Sunjay Cauligi, Evan Johnson, Zhao Gang, Anjo Vahldiek-Oberwagner, Ravi Sahita, Hovav Shacham, Dean M. Tullsen, Deian Stefan

Proceedings of the 30th USENIX Security Symposium, 2021

High-Assurance Cryptography in the Spectre Era.

Gilles Barthe, Sunjay Cauligi, Benjamin Grégoire, Adrien Koutsos, Kevin Liao, Tiago Oliveira, Swarn Priya, Tamara Rezk, Peter Schwabe

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

2020

High-Assurance Cryptography Software in the Spectre Era.

Gilles Barthe, Sunjay Cauligi, Benjamin Grégoire, Adrien Koutsos, Kevin Liao, Tiago Oliveira, Swarn Priya, Tamara Rezk, Peter Schwabe

IACR Cryptol. ePrint Arch., 2020

Constant-time foundations for the new spectre era.

Sunjay Cauligi, Craig Disselkoen, Klaus von Gleissenthall, Dean M. Tullsen, Deian Stefan, Tamara Rezk, Gilles Barthe

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

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

Towards Constant-Time Foundations for the New Spectre Era.

Sunjay Cauligi, Craig Disselkoen, Klaus von Gleissenthall, Deian Stefan, Tamara Rezk, Gilles Barthe

CoRR, 2019

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

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2017

FaCT: A Flexible, Constant-Time Programming Language.

Sunjay Cauligi, Gary Soeller, Fraser Brown, Brian Johannesmeyer, Yunlu Huang, Ranjit Jhala, Deian Stefan

Proceedings of the IEEE Cybersecurity Development, SecDev 2017, Cambridge, MA, USA, 2017