Publications
Mangrove: A Scalable Framework for Folding-based SNARKs
Wilson Nguyen, Trisha Datta, Binyi Chen, Nirvan Tyagi, Dan Boneh
In submission
[archive]
MUXProofs: Succinct Arguments for Machine Computation from Tuple Lookups
Zijing Di, Lucas Xia, Wilson Nguyen, Nirvan Tyagi
In submission
[archive]
Riggs: Decentralized Sealed-Bid Auctions
Nirvan Tyagi, Arasu Arun, Cody Freitag, Riad Wahby, Joseph Bonneau, David Mazières
CCS 2023
[archive]
[code]
Privacy-Preserving Accountability in Online Messaging
Nirvan Tyagi
PhD Dissertation 2023
[archive]
[manuscript]
Bicorn: An Optimistically Efficient Distributed Randomness Beacon
Kevin Choi, Arasu Arun, Nirvan Tyagi, Joseph Bonneau
FC 2023
[archive]
VeRSA: Verifiable Registries with Efficient Client Audits from RSA Authenticated Dictionaries
Nirvan Tyagi, Ben Fisch, Andrew Zitek, Joseph Bonneau, Stefano Tessaro
CCS 2022
[archive]
[code]
[slides]
[talk]
Orca: Blocklisting in Sender-Anonymous Messaging
Nirvan Tyagi, Julia Len, Ian Miers, Thomas Ristenpart
USENIX Security 2022
[archive]
[code]
[slides]
[talk]
A Fast and Simple Partially Oblivious PRF, with Applications
Nirvan Tyagi, Sofı́a Celi, Thomas Ristenpart, Nick Sullivan, Stefano Tessaro, Christopher Wood
EUROCRYPT 2022
[archive]
[slides]
[talk]
Proofs for Inner Pairing Products and Applications
Benedikt Bünz, Mary Maller, Pratyush Mishra, Nirvan Tyagi, Psi Vesely
ASIACRYPT 2021
[archive]
[code]
Handling Adaptive Compromise for Practical Encryption Schemes
Joseph Jaeger, Nirvan Tyagi
CRYPTO 2020
(Early Career Award)
[archive]
Traceback for End-to-End Encrypted Messaging
Nirvan Tyagi, Ian Miers, Thomas Ristenpart
CCS 2019
[archive]
[code]
[slides]
[talk]
Asymmetric Message Franking: Content Moderation for Metadata-Private End-to-End Encryption
Nirvan Tyagi, Paul Grubbs, Julia Len, Ian Miers, Thomas Ristenpart
CRYPTO 2019
[archive]
[code]
[slides]
[talk]
Burnbox: Self-Revocable Encryption in a World of Compelled Access
Nirvan Tyagi, Muhammad Haris Mughees, Thomas Ristenpart, Ian Miers
USENIX Security 2018
[archive]
[slides]
[talk]
Stadium: A Distributed Metadata-Private Messaging System
Nirvan Tyagi, Yossi Gilad, Derek Leung, Matei Zaharia, Nickolai Zeldovich
SOSP 2017
[archive]
[code]
[slides]
[talk]