Sunjay Cauligi - Concepedia

Author

Sunjay Cauligi

Also Known As

Cauligi, Sunjay, Gleissenthall, Klaus, Sunjay Cauligi

Publications

359

Citations

H-Index

Concepts

All Affiliations

Sunjay Cauligi is an author at University of California San Diego specializing in computer science, information security, and program analysis.

#	Concept	H-Index	Publications	Citations
1	Engineering	6	6	244
2	Computer Science	6	6	244
3	Computer Engineering	5	5	220
4	Compilers	3	3	85
5	Computer Architecture	2	2	87

Sunjay Cauligi

Publications

282

Citations

H-Index

Page 1

	Year	Citations
FaCT: a DSL for timing-sensitive computation Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Cryptographic PrimitiveEngineeringInformation SecurityProcedural AbstractionsComputer Architecture	2019	72
CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem Conrad Watt, John W. Renner, Natalie Popescu, Apollo (University of Cambridge) Cryptographic PrimitiveEngineeringInformation SecurityType-driven Secure CryptographyCryptographic Technology	2019	59
FaCT: A Flexible, Constant-Time Programming Language Sunjay Cauligi, Gary Soeller, Fraser Brown, EngineeringInformation SecurityCompiler TechnologySoftware AnalysisFormal Verification	2017	46
SoK: Practical Foundations for Software Spectre Defenses Sunjay Cauligi, Craig Disselkoen, Daniel Moghimi, 2022 IEEE Symposium on Security and Privacy (SP)	2022	38
High-Assurance Cryptography in the Spectre Era Gilles Barthe, Sunjay Cauligi, Benjamin Grégoire, Cryptographic PrimitiveEngineeringInformation SecurityVerificationConfidential Computing	2021	28
Spectre Declassified: Reading from the Right Place at the Wrong Time Basavesh Ammanaghatta Shivakumar, J. S. Barnes, Gilles Barthe, EngineeringRight PlaceInformation SecuritySoftware SystemsConfidential Computing	2023	24
Swivel: Hardening WebAssembly against Spectre Shravan Narayan, Craig Disselkoen, Daniel Moghimi, ArXiv.org Software MaintenanceEngineeringInformation SecurityComputer ArchitectureSoftware Analysis	2021	15

Page 1