Concepedia

Sunjay Cauligi

SC

7

Publications

282

Citations

7

H-Index

2017

Active since

Affiliations

University of California San Diego(Current)

IMDEA Software Institute

UC San Diego Health System

Max Planck Institute for Security and Privacy

Institut national de recherche en sciences et technologies du numérique

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

Top concepts

EngineeringCryptographyComputer ScienceProgram AnalysisSoftware AnalysisInformation SecurityData SecurityHardware SecurityComputer EngineeringData Privacy

Publications per year

2017–2023

7

Publications

7

FaCT: a DSL for timing-sensitive computation

Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer et al. · 2019 · 72 citations · Full text

Cryptographic Primitive, Engineering, Information Security +23

CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem

Conrad Watt, John W. Renner, Natalie Popescu et al. · Apollo (University of Cambridge) · 2019 · 59 citations · Full text

Cryptographic Primitive, Engineering, Information Security +20

FaCT: A Flexible, Constant-Time Programming Language

Sunjay Cauligi, Gary Soeller, Fraser Brown et al. · 2017 · 46 citations

Engineering, Information Security, Compiler Technology +22

SoK: Practical Foundations for Software Spectre Defenses

Sunjay Cauligi, Craig Disselkoen, Daniel Moghimi et al. · 2022 IEEE Symposium on Security and Privacy (SP) · 2022 · 38 citations

High-Assurance Cryptography in the Spectre Era

Gilles Barthe, Sunjay Cauligi, Benjamin Grégoire et al. · 2021 · 28 citations

Cryptographic Primitive, Engineering, Information Security +22

Rows per page

1–5 of 7