Nirvan Tyagi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
8
Active years
2016–2024
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ASIACRYPT | MuxProofs: Succinct Arguments for Machine Computation from Vector Lookups. | Zijing Di, Lucas Xia, Wilson D. Nguyen, Nirvan Tyagi |
| 2024 | CRYPTO | Mangrove: A Scalable Framework for Folding-Based SNARKs. | Wilson D. Nguyen, Trisha Datta, Binyi Chen, Nirvan Tyagi, Dan Boneh |
| 2024 | SP | Private Hierarchical Governance for Encrypted Messaging. | Armin Namavari, Barry Wang, Sanketh Menda, Ben Nassi, Nirvan Tyagi, James Grimmelmann, Amy X. Zhang, Thomas Ristenpart |
| 2023 | CCS | Riggs: Decentralized Sealed-Bid Auctions. | Nirvan Tyagi, Arasu Arun, Cody Freitag, Riad S. Wahby, Joseph Bonneau, David Mazires |
| 2023 | FC | Bicorn: An Optimistically Efficient Distributed Randomness Beacon. | Kevin Choi, Arasu Arun, Nirvan Tyagi, Joseph Bonneau |
| 2022 | CCS | VeRSA: Verifiable Registries with Efficient Client Audits from RSA Authenticated Dictionaries. | Nirvan Tyagi, Ben Fisch, Andrew Zitek, Joseph Bonneau, Stefano Tessaro |
| 2022 | EuroCrypt | A Fast and Simple Partially Oblivious PRF, with Applications. | Nirvan Tyagi, Sofa Celi, Thomas Ristenpart, Nick Sullivan, Stefano Tessaro, Christopher A. Wood |
| 2021 | ASIACRYPT | Proofs for Inner Pairing Products and Applications. | Benedikt Bnz, Mary Maller, Pratyush Mishra, Nirvan Tyagi, Psi Vesely |
| 2020 | CRYPTO | Handling Adaptive Compromise for Practical Encryption Schemes. | Joseph Jaeger, Nirvan Tyagi |
| 2019 | CCS | Traceback for End-to-End Encrypted Messaging. | Nirvan Tyagi, Ian Miers, Thomas Ristenpart |
| 2019 | CRYPTO | Asymmetric Message Franking: Content Moderation for Metadata-Private End-to-End Encryption. | Nirvan Tyagi, Paul Grubbs, Julia Len, Ian Miers, Thomas Ristenpart |
| 2017 | SOSP | Stadium: A Distributed Metadata-Private Messaging System. | Nirvan Tyagi, Yossi Gilad, Derek Leung, Matei Zaharia, Nickolai Zeldovich |
| 2016 | RC | Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms. | Nirvan Tyagi, Jayson Lynch, Erik D. Demaine |