Sunjay Cauligi

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