Nirvan Tyagi

According to our database, Nirvan Tyagi authored at least 21 papers between 2016 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2025

From Inquisitorial to Adversarial: Using Legal Theory to Redesign Online Reporting Systems.

Leijie Wang, Weizi Wu, Lirong Que, Nirvan Tyagi, Amy X. Zhang

CoRR, June, 2025

Fraud Mitigation in Privacy-Preserving Attribution.

Rutchathon Chairattana-Apirom, Stefano Tessaro, Nirvan Tyagi

IACR Cryptol. ePrint Arch., 2025

2024

Private Hierarchical Governance for Encrypted Messaging.

Armin Namavari, Barry Wang, Sanketh Menda, Ben Nassi, Nirvan Tyagi, James Grimmelmann, Amy X. Zhang, Thomas Ristenpart

Proceedings of the IEEE Symposium on Security and Privacy, 2024

Mangrove: A Scalable Framework for Folding-Based SNARKs.

Wilson D. Nguyen, Trisha Datta, Binyi Chen, Nirvan Tyagi, Dan Boneh

Proceedings of the Advances in Cryptology - CRYPTO 2024, 2024

MuxProofs: Succinct Arguments for Machine Computation from Vector Lookups.

Zijing Di, Lucas Xia, Wilson D. Nguyen, Nirvan Tyagi

Proceedings of the Advances in Cryptology - ASIACRYPT 2024, 2024

2023

MUXProofs: Succinct Arguments for Machine Computation from Tuple Lookups.

Zijing Di, Lucas Xia, Wilson D. Nguyen, Nirvan Tyagi

IACR Cryptol. ePrint Arch., 2023

Bicorn: An Optimistically Efficient Distributed Randomness Beacon.

Kevin Choi, Arasu Arun, Nirvan Tyagi, Joseph Bonneau

Proceedings of the Financial Cryptography and Data Security, 2023

Riggs: Decentralized Sealed-Bid Auctions.

Nirvan Tyagi, Arasu Arun, Cody Freitag, Riad S. Wahby, Joseph Bonneau, David Mazières

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

Orca: Blocklisting in Sender-Anonymous Messaging.

Nirvan Tyagi, Julia Len, Ian Miers, Thomas Ristenpart

Proceedings of the 31st USENIX Security Symposium, 2022

A Fast and Simple Partially Oblivious PRF, with Applications.

Nirvan Tyagi, Sofía Celi, Thomas Ristenpart, Nick Sullivan, Stefano Tessaro, Christopher A. Wood

Proceedings of the Advances in Cryptology - EUROCRYPT 2022 - 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Trondheim, Norway, May 30, 2022

VeRSA: Verifiable Registries with Efficient Client Audits from RSA Authenticated Dictionaries.

Nirvan Tyagi, Ben Fisch, Andrew Zitek, Joseph Bonneau, Stefano Tessaro

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021

Client-Auditable Verifiable Registries.

Nirvan Tyagi, Ben Fisch, Joseph Bonneau, Stefano Tessaro

IACR Cryptol. ePrint Arch., 2021

Proofs for Inner Pairing Products and Applications.

Benedikt Bünz, Mary Maller, Pratyush Mishra, Nirvan Tyagi, Psi Vesely

Proceedings of the Advances in Cryptology - ASIACRYPT 2021, 2021

2020

Handling Adaptive Compromise for Practical Encryption Schemes.

Joseph Jaeger, Nirvan Tyagi

Proceedings of the Advances in Cryptology - CRYPTO 2020, 2020

2019

Asymmetric Message Franking: Content Moderation for Metadata-Private End-to-End Encryption.

Nirvan Tyagi, Paul Grubbs, Julia Len, Ian Miers, Thomas Ristenpart

Proceedings of the Advances in Cryptology - CRYPTO 2019, 2019

Traceback for End-to-End Encrypted Messaging.

Nirvan Tyagi, Ian Miers, Thomas Ristenpart

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018

BurnBox: Self-Revocable Encryption in a World Of Compelled Access.

Nirvan Tyagi, Muhammad Haris Mughees, Thomas Ristenpart, Ian Miers

Proceedings of the 27th USENIX Security Symposium, 2018

2017

Stadium: A Distributed Metadata-Private Messaging System.

Nirvan Tyagi, Yossi Gilad, Derek Leung, Matei Zaharia, Nickolai Zeldovich

Proceedings of the 26th Symposium on Operating Systems Principles, 2017

2016

Stadium: A Distributed Metadata-Private Messaging System.

Nirvan Tyagi, Yossi Gilad, Matei Zaharia, Nickolai Zeldovich

IACR Cryptol. ePrint Arch., 2016

Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms.

Nirvan Tyagi, Jayson Lynch, Erik D. Demaine

Proceedings of the Reversible Computation - 8th International Conference, 2016

Energy-Efficient Algorithms.

Erik D. Demaine, Jayson Lynch, Geronimo J. Mirano, Nirvan Tyagi

Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science, 2016