Featured paper
BABE: Verifying Proofs on Bitcoin Made 1000x Cheaper
Sanjam Garg, Dimitris Kolonelos, Mikhail Sergeevitch, Srivatsan Sridhar, David Tse
IACR ePrint · 2026
Research
Publication statistics
- CRYPTO (19)
- TCC (16)
- EUROCRYPT (10)
- CCS (7)
- SP (5)
- USENIX Security Symposium (4)
- Other (48)
Featured paper
Bypassing Prompt Guards in Production with Controlled-Release Prompting
Jaiden Fairoze, Sanjam Garg, Keewoo Lee, Mingyuan Wang
arXiv · 2025
Featured paper
Jigsaw: Doubly Private Smart Contracts.
Sanjam Garg, Aarushi Goel, Dimitris Kolonelos, Rohit Sinha
SP · 2026
Featured paper
Practical Mempool Privacy via One-time Setup Batched Threshold Encryption.
Arka Rai Choudhuri, Sanjam Garg, Guru-Vamsi Policharla, Mingyuan Wang
USENIX Security Symposium · 2025
Featured paper
hinTS: Threshold Signatures with Silent Setup.
Sanjam Garg, Abhishek Jain, Pratyay Mukherjee, Rohit Sinha, Mingyuan Wang, Yinuo Zhang
SP · 2024
Featured paper
Mempool Privacy via Batched Threshold Encryption: Attacks and Defenses.
Arka Rai Choudhuri, Sanjam Garg, Julien Piet, Guru-Vamsi Policharla
USENIX Security Symposium · 2024
Featured paper
zkSaaS: Zero-Knowledge SNARKs as a Service.
Sanjam Garg, Aarushi Goel, Abhishek Jain, Guru-Vamsi Policharla, Sruthi Sekar
USENIX Security Symposium · 2023
Featured paper
BABE: Verifying Proofs on Bitcoin Made 1000x Cheaper.
Sanjam Garg, Dimitris Kolonelos, Mikhail Sergeevitch, Srivatsan Sridhar, David Tse
IACR Cryptol. ePrint Arch. · 2026
-
01ReadJigsaw: Doubly Private Smart Contracts. SP · 2026Sanjam Garg, Aarushi Goel, Dimitris Kolonelos, Rohit Sinha
-
03ReadSanjam Garg, Mohammad Hajiabadi, Dimitris Kolonelos, Abhiram Kothapalli, Guru-Vamsi Policharla
-
05ReadBlack-Box Non-interactive Zero Knowledge from Vector Trapdoor Hash. EUROCRYPT · 2025Pedro Branco, Arka Rai Choudhuri, Nico Döttling, Abhishek Jain, Giulio Malavolta, Akshayaram Srinivasan
-
06ReadHiSE: Hierarchical (Threshold) Symmetric-key Encryption. IACR Commun. Cryptol. · 2025Pousali Dey, Pratyay Mukherjee, Swagata Sasmal, Rohit Sinha
-
07ReadLaconic PSI on Authenticated Inputs and Applications. ASIACRYPT · 2025James Bartusek, Sanjam Garg, Abhishek Jain, Guru-Vamsi Policharla
-
09ReadMultiparty Distributed Point Functions. CRYPTO · 2025Aarushi Goel, Mingyuan Wang, Zhiheng Wang
-
10ReadPolicy Compliant Secure Messaging. ASIACRYPT · 2025Joël Alwen, Xiaohui Ding, Sanjam Garg, Yiannis Tselekounis
-
11ReadPractical Mempool Privacy via One-time Setup Batched Threshold Encryption. USENIX Security Symposium · 2025Arka Rai Choudhuri, Sanjam Garg, Guru-Vamsi Policharla, Mingyuan Wang
-
12ReadXuandong Zhao, Sam Gunn, Miranda Christ, Jaiden Fairoze, Andrés Fábrega, Nicholas Carlini, Sanjam Garg, Sanghyun Hong, Milad Nasr, Florian Tramèr, Somesh Jha, Lei Li, Yu-Xiang Wang, Dawn Song
-
13ReadSplit Prover Zero-Knowledge SNARKs. PKC · 2025Sanjam Garg, Aarushi Goel, Dimitris Kolonelos, Sina Shiehian, Rohit Sinha
-
17ReadLaconic Branching Programs from the Diffie-Hellman Assumption. Public Key Cryptography · 2024Sanjam Garg, Mohammad Hajiabadi, Peihan Miao, Alice Murphy
-
18ReadMempool Privacy via Batched Threshold Encryption: Attacks and Defenses. USENIX Security Symposium · 2024Arka Rai Choudhuri, Sanjam Garg, Julien Piet, Guru-Vamsi Policharla
-
19ReadMonotone-Policy Aggregate Signatures. EUROCRYPT · 2024Maya Farber Brodsky, Arka Rai Choudhuri, Abhishek Jain, Omer Paneth
-
21ReadPublicly-Detectable Watermarking for Language Models. IACR Commun. Cryptol. · 2024Jaiden Fairoze, Sanjam Garg, Somesh Jha, Saeed Mahloujifar, Mohammad Mahmoody, Mingyuan Wang
-
23ReadSublonK: Sublinear Prover PlonK. Proc. Priv. Enhancing Technol. · 2024Arka Rai Choudhuri, Sanjam Garg, Aarushi Goel, Sruthi Sekar, Rohit Sinha
-
24ReadThreshold Encryption with Silent Setup. CRYPTO · 2024Sanjam Garg, Dimitris Kolonelos, Guru-Vamsi Policharla, Mingyuan Wang
-
25ReadCandidate iO from Homomorphic Encryption Schemes. J. Cryptol. · 2023Zvika Brakerski, Nico Döttling, Sanjam Garg, Giulio Malavolta
-
27ReadCredibility in Private Set Membership. Public Key Cryptography · 2023Sanjam Garg, Mohammad Hajiabadi, Abhishek Jain, Zhengzhong Jin, Omkant Pandey, Sina Shiehian
-
30ReadSanjam Garg, Aarushi Goel, Somesh Jha, Saeed Mahloujifar, Mohammad Mahmoody, Guru-Vamsi Policharla, Mingyuan Wang
-
32ReadReusable Secure Computation in the Plain Model. CRYPTO · 2023Vipul Goyal, Akshayaram Srinivasan, Mingyuan Wang
-
33ReadThreshold Signatures in the Multiverse. SP · 2023Leemon Baird, Sanjam Garg, Abhishek Jain, Pratyay Mukherjee, Rohit Sinha, Mingyuan Wang, Yinuo Zhang
-
34ReadTime-Deniable Signatures. Proc. Priv. Enhancing Technol. · 2023Gabrielle Beck, Arka Rai Choudhuri, Matthew Green, Abhishek Jain, Pratyush Ranjan Tiwari
-
35ReadzkSaaS: Zero-Knowledge SNARKs as a Service. USENIX Security Symposium · 2023Sanjam Garg, Aarushi Goel, Abhishek Jain, Guru-Vamsi Policharla, Sruthi Sekar
-
37ReadDeletion inference, reconstruction, and compliance in machine (un)learning. Proc. Priv. Enhancing Technol. · 2022Ji Gao, Sanjam Garg, Mohammad Mahmoody, Prashant Nalini Vasudevan
-
39Readi-TiRE: Incremental Timed-Release Encryption or How to use Timed-Release Encryption on Blockchains? CCS · 2022Leemon Baird, Pratyay Mukherjee, Rohit Sinha
-
42ReadHemanta K. Maji, Hai H. Nguyen, Anat Paskin-Cherniavsky, Tom Suad, Mingyuan Wang, Xiuyu Ye, Albert Yu
-
43ReadOn the Worst-Case Inefficiency of CGKA. TCC · 2022Alexander Bienstock, Yevgeniy Dodis, Sanjam Garg, Garrison Grogan, Mohammad Hajiabadi, Paul Rösler
-
44ReadOverparameterization from Computational Constraints. NeurIPS · 2022Sanjam Garg, Somesh Jha, Saeed Mahloujifar, Mohammad Mahmoody, Mingyuan Wang
-
45ReadNir Bitansky, Arka Rai Choudhuri, Justin Holmgren, Chethan Kamath, Alex Lombardi, Omer Paneth, Ron D. Rothblum
-
46ReadReusable Two-Round MPC from LPN. Public Key Cryptography · 2022James Bartusek, Sanjam Garg, Akshayaram Srinivasan, Yinuo Zhang
-
48ReadHemanta K. Maji, Hai H. Nguyen, Anat Paskin-Cherniavsky, Tom Suad, Mingyuan Wang, Xiuyu Ye, Albert Yu
-
50ReadSamuel Deng, Sanjam Garg, Somesh Jha, Saeed Mahloujifar, Mohammad Mahmoody, Abhradeep Guha Thakurta
-
53ReadCompact Ring Signatures from Learning with Errors. CRYPTO · 2021Rohit Chatterjee, Sanjam Garg, Mohammad Hajiabadi, Dakshita Khurana, Xiao Liang, Giulio Malavolta, Omkant Pandey, Sina Shiehian
-
56ReadEfficient Distributed Coin-tossing Protocols. ISIT · 2021Hamidreza Amini Khorasgani, Hemanta K. Maji, Himanshi K. Mehta, Mingyuan Wang
-
58ReadHow to Build a Trapdoor Function from an Encryption Scheme. ASIACRYPT · 2021Sanjam Garg, Mohammad Hajiabadi, Giulio Malavolta, Rafail Ostrovsky
-
60ReadNicholas Carlini, Samuel Deng, Sanjam Garg, Somesh Jha, Saeed Mahloujifar, Mohammad Mahmoody, Abhradeep Thakurta, Florian Tramèr
-
62ReadLeakage-Resilience of the Shamir Secret-Sharing Scheme Against Physical-Bit Leakages. EUROCRYPT · 2021Hemanta K. Maji, Hai H. Nguyen, Anat Paskin-Cherniavsky, Tom Suad, Mingyuan Wang
-
63ReadDonald Q. Adams, Hemanta K. Maji, Hai H. Nguyen, Minh L. Nguyen, Anat Paskin-Cherniavsky, Tom Suad, Mingyuan Wang
-
67ReadReducing HSM Reliance in Payments through Proxy Re-Encryption. USENIX Security Symposium · 2021Sivanarayana Gaddam, Atul Luykx, Rohit Sinha, Gaven J. Watson
-
68ReadSNARGs for $\mathcal{P}$ from LWE. FOCS · 2021Arka Rai Choudhuri, Abhishek Jain, Zhengzhong Jin
-
69ReadAd Hoc Multi-Input Functional Encryption. ITCS · 2020Shweta Agrawal, Michael Clear, Ophir Frieder, Sanjam Garg, Adam O'Neill, Justin Thaler
-
73ReadCandidate iO from Homomorphic Encryption Schemes. EUROCRYPT · 2020Zvika Brakerski, Nico Döttling, Sanjam Garg, Giulio Malavolta
-
79ReadMaster-Key KDM-Secure IBE from Pairings. Public Key Cryptography · 2020Sanjam Garg, Romain Gay, Mohammad Hajiabadi
-
80ReadReusable Two-Round MPC from DDH. TCC · 2020James Bartusek, Sanjam Garg, Daniel Masny, Pratyay Mukherjee
-
84ReadTight Verifiable Delay Functions. SCN · 2020Nico Döttling, Sanjam Garg, Giulio Malavolta, Prashant Nalini Vasudevan
-
85ReadTowards Efficiency-Preserving Round Compression in MPC - Do Fewer Rounds Mean More Computation? ASIACRYPT · 2020Prabhanjan Ananth, Arka Rai Choudhuri, Aarushi Goel, Abhishek Jain
-
86ReadTwo-Round Oblivious Transfer from CDH or LPN. EUROCRYPT · 2020Nico Döttling, Sanjam Garg, Mohammad Hajiabadi, Daniel Masny, Daniel Wichs
-
88ReadExplicit Rate-1 Non-malleable Codes for Local Tampering. CRYPTO · 2019Divya Gupta, Hemanta K. Maji, Mingyuan Wang
-
89ReadFinding a Nash Equilibrium Is No Easier Than Breaking Fiat-Shamir. Electron. Colloquium Comput. Complex. · 2019Arka Rai Choudhuri, Pavel Hubácek, Chethan Kamath, Krzysztof Pietrzak, Alon Rosen, Guy N. Rothblum
-
90ReadFounding Secure Computation on Blockchains. EUROCRYPT · 2019Arka Rai Choudhuri, Vipul Goyal, Abhishek Jain
-
91ReadTwo Round Information-Theoretic MPC with Malicious Security. EUROCRYPT · 2019Prabhanjan Ananth, Arka Rai Choudhuri, Aarushi Goel, Abhishek Jain
-
92ReadNon-malleable Codes Against Lookahead Tampering. INDOCRYPT · 2018Divya Gupta, Hemanta K. Maji, Mingyuan Wang
-
94ReadA compiler and verifier for page access oblivious computation. ESEC/SIGSOFT FSE · 2017Rohit Sinha, Sriram K. Rajamani, Sanjit A. Seshia
-
99ReadRohit Sinha, Manuel Costa, Akash Lal, Nuno P. Lopes, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani
-
100ReadSignificantly Improved Multi-bit Differentials for Reduced Round Salsa and ChaCha. IACR Trans. Symmetric Cryptol. · 2016Arka Rai Choudhuri, Subhamoy Maitra
-
103ReadFormal Modeling and Verification of CloudProxy. VSTTE · 2014Wei Yang Tan, Rohit Sinha, John L. Manferdelli, Sanjit A. Seshia
-
104ReadSymbolic software model validation. MEMOCODE · 2013Cynthia Sturton, Rohit Sinha, Thurston H. Y. Dang, Sakshi Jain, Michael McCoyd, Wei Yang Tan, Petros Maniatis, Sanjit A. Seshia, David A. Wagner
-
106ReadsynASM: A High-Level Synthesis Framework With Support for Parallel and Timed Constructs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. · 2012Rohit Sinha, Hiren D. Patel
-
107ReadVerification with small and short worlds. FMCAD · 2012Rohit Sinha, Cynthia Sturton, Petros Maniatis, Sanjit A. Seshia, David A. Wagner
-
109ReadExtending Force-Directed Scheduling with Explicit Parallel and Timed Constructs for High-Level Synthesis. FCCM · 2011Rohit Sinha, Hiren D. Patel