Seguir
Sunjay Cauligi
Sunjay Cauligi
Email confirmado em eng.ucsd.edu - Página inicial
Título
Citado por
Citado por
Ano
Ct-wasm: type-driven secure cryptography for the web ecosystem
C Watt, J Renner, N Popescu, S Cauligi, D Stefan
Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019
592019
Fact: A flexible, constant-time programming language
S Cauligi, G Soeller, F Brown, B Johannesmeyer, Y Huang, R Jhala, ...
2017 IEEE Cybersecurity Development (SecDev), 69-76, 2017
452017
Fact: a DSL for timing-sensitive computation
S Cauligi, G Soeller, B Johannesmeyer, F Brown, RS Wahby, J Renner, ...
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
422019
Constant-time foundations for the new spectre era
S Cauligi, C Disselkoen, K Gleissenthall, D Tullsen, D Stefan, T Rezk, ...
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
402020
Automatically eliminating speculative leaks from cryptographic code with blade
M Vassena, C Disselkoen, KV Gleissenthall, S Cauligi, RG Kici, R Jhala, ...
arXiv preprint arXiv:2005.00294, 2020
342020
Swivel: Hardening {WebAssembly} against Spectre
S Narayan, C Disselkoen, D Moghimi, S Cauligi, E Johnson, Z Gang, ...
30th USENIX Security Symposium (USENIX Security 21), 1433-1450, 2021
192021
High-assurance cryptography in the spectre era
G Barthe, S Cauligi, B Grégoire, A Koutsos, K Liao, T Oliveira, S Priya, ...
2021 IEEE Symposium on Security and Privacy (SP), 1884-1901, 2021
122021
Constant-time webassembly
J Renner, S Cauligi, D Stefan
Principles of Secure Compilation, 2018
72018
Klaus v. Gleissenthall, Dean Tullsen, Deian Stefan, Tamara Rezk, and Gilles Barthe. 2020. Constant-Time Foundations for the New Spectre Era
S Cauligi, C Disselkoen
Proc. of the 41st ACM SIGPLAN Conf. on Programming Language Design and …, 0
5
SoK: Practical foundations for spectre defenses
S Cauligi, C Disselkoen, D Moghimi, G Barthe, D Stefan
arXiv preprint arXiv:2105.05801, 2021
32021
Spectre Declassified: Reading from the Right Place at the Wrong Time
BA Shivakumar, J Barnes, G Barthe, S Cauligi, C Chuengsatiansup, ...
Cryptology ePrint Archive, 2022
12022
High-Assurance Cryptography Software in the Spectre Era
G Barthe, S Cauligi, B Gregoire, A Koutsos, K Liao, T Oliveira, S Priya, ...
Cryptology ePrint Archive, 2020
12020
Finding and Eliminating Timing Side-Channels in Crypto Code with Pitchfork
C Disselkoen, S Cauligi, D Tullsen, D Stefan
TECHCON, 2020
12020
SoK: Practical Foundations for Software Spectre Defenses
S Cauligi, C Disselkoen, D Moghimi, G Barthe, D Stefan
2022 IEEE Symposium on Security and Privacy (SP), 1517-1517, 2022
2022
Foundations for Speculative Side Channels
SR Cauligi
University of California, San Diego, 2021
2021
Towards constant-time foundations for the new spectre era
S Cauligi, C Disselkoen, K v Gleissenthall, D Stefan, T Rezk, G Barthe
arXiv preprint arXiv:1910.01755 10 (3385412.3385970), 2019
2019
It Takes Two to Infer: Partitioning as an Encrypted Database Defense
S Cauligi, B Johannesmeyer, G Li, AT Olesen, L Yang
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–17