Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Sunjay Cauligi
Observed names:
Cauligi, Sunjay,
Cauligi, Sunjay R
Institution:
Max Planck Institute for Security and Privacy
Observed institutions:
University of California San Diego,
Max Planck Institute for Security and Privacy,
Vrije Universiteit Amsterdam
ORCID:
0009-0004-7306-5689
Observed ORCID:
0009-0004-7306-5689
OpenAlex ID:
A5044735957
Constant-time foundations for the new spectre era
2020
·
Sunjay Cauligi
, Craig Disselkoen
, et al.
·
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
·
90
PDF
FaCT: a DSL for timing-sensitive computation
2019
·
Sunjay Cauligi
, Gary Soeller
, et al.
·
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
·
76
PDF
CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem
2019
·
Watt, Conrad
, Renner, John
, et al.
·
Apollo (University of Cambridge)
·
58
FaCT: A Flexible, Constant-Time Programming Language
2017
·
Sunjay Cauligi
, Gary Soeller
, et al.
·
IEEE Cybersecurity Development (SecDev)
·
50
Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade
2021
·
Vassena, Marco
, Disselkoen, Craig
, et al.
·
eScholarship (California Digital Library)
·
48
SoK: Practical Foundations for Software Spectre Defenses
2022
·
Sunjay Cauligi
, Craig Disselkoen
, et al.
·
IEEE Symposium on Security and Privacy (S&P)
·
47
PDF
High-Assurance Cryptography in the Spectre Era
2021
·
Gilles Barthe
, Sunjay Cauligi
, et al.
·
IEEE Symposium on Security and Privacy (S&P)
·
36
Swivel: Hardening WebAssembly against Spectre
2021
·
Narayan, Shravan
, Disselkoen, Craig
, et al.
·
arXiv (Cornell University)
·
34
PDF
Spectre Declassified: Reading from the Right Place at the Wrong Time
2023
·
Basavesh Ammanaghatta Shivakumar
, Jack Barnes
, et al.
·
IEEE Symposium on Security and Privacy (S&P)
·
25
PDF
Testing Side-channel Security of Cryptographic Implementations against Future Microarchitectures
2024
·
Gilles Barthe
, Marcel Böhme
, et al.
·
ACM SIGSAC Conference on Computer and Communications Security (CCS)
·
9
Towards Constant-Time Foundations for the New Spectre Era.
2019
·
Sunjay Cauligi
, Craig Disselkoen
, et al.
·
arXiv (Cornell University)
·
7
Replication package for article: Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade
2020
·
Marco Vassena
, Craig Disselkoen
, et al.
·
Artifact Digital Object Group
·
4
Robust Constant-Time Cryptography
2025
·
Matthew Kolosick
, Basavesh Ammanaghatta Shivakumar
, et al.
·
Proceedings of the ACM on Programming Languages
·
2
PDF
A Turning Point for Verified Spectre Sandboxing
2022
·
Cauligi, Sunjay
, Guarnieri, Marco
, et al.
·
arXiv (Cornell University)
·
2
PDF
SoK: Practical Foundations for Spectre Defenses.
2021
·
Sunjay Cauligi
, Craig Disselkoen
, et al.
·
arXiv (Cornell University)
·
2
Pitchfork-Angr
2020
·
Sunjay Cauligi
, Craig Disselkoen
, et al.
·
Artifact Digital Object Group
·
2
Robust Constant-Time Cryptography
2023
·
Kolosick, Matthew
, Shivakumar, Basavesh Ammanaghatta
, et al.
·
arXiv (Cornell University)
PDF
High-Assurance Cryptography Software in the Spectre Era.
2020
·
Gilles Barthe
, Sunjay Cauligi
, et al.
·
IACR Cryptology ePrint Archive
Evaluation Artifact for FaCT
2019
·
Sunjay Cauligi
, Gary Soeller
, et al.
·
Artifact Digital Object Group
Proofs, Source, and Evaluation Scripts for CT-Wasm
2018
·
Conrad Watt
, John Renner
, et al.
·
Artifact Digital Object Group
Show more works
View as search
Works count:
24
Citation count:
492
H-index:
9
I10-index:
9
Year
Topic
Type
