Featured paper
BABE: Verifying Proofs on Bitcoin Made 1000x Cheaper
Sanjam Garg, Dimitris Kolonelos, Mikhail Sergeevitch, Srivatsan Sridhar, David Tse
IACR ePrint · 2026
Sanjam Garg, Dimitris Kolonelos, Mikhail Sergeevitch, Srivatsan Sridhar, David Tse
IACR ePrint · 2026
Jaiden Fairoze, Sanjam Garg, Keewoo Lee, Mingyuan Wang
arXiv · 2025
Arka Rai Choudhuri, Sanjam Garg, Guru-Vamsi Policharla, Mingyuan Wang
USENIX Security Symposium · 2025
Sanjam Garg, Abhishek Jain, Pratyay Mukherjee, Rohit Sinha, Mingyuan Wang, Yinuo Zhang
SP · 2024
Arka Rai Choudhuri, Sanjam Garg, Julien Piet, Guru-Vamsi Policharla
USENIX Security Symposium · 2024
Sanjam Garg, Aarushi Goel, Abhishek Jain, Guru-Vamsi Policharla, Sruthi Sekar
USENIX Security Symposium · 2023
Sanjam Garg, Dimitris Kolonelos, Mikhail Sergeevitch, Srivatsan Sridhar, David Tse
IACR Cryptol. ePrint Arch. · 2026