Energy-Efficient Algorithms. - Erik D. Demaine; Jayson Lynch; Geronimo J. Mirano; Nirvan Tyagi (ITCS, 2016)

Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms. - Nirvan Tyagi; Jayson Lynch; Erik D. Demaine (RC, 2016)

Stadium: A Distributed Metadata-Private Messaging System. - Nirvan Tyagi; Yossi Gilad; Matei Zaharia; Nickolai Zeldovich (IACR Cryptol. ePrint Arch., 2016)

Stadium: A Distributed Metadata-Private Messaging System. - Nirvan Tyagi; Yossi Gilad; Derek Leung; Matei Zaharia; Nickolai Zeldovich (SOSP, 2017)

BurnBox: Self-Revocable Encryption in a World Of Compelled Access. - Nirvan Tyagi; Muhammad Haris Mughees; Thomas Ristenpart; Ian Miers (IACR Cryptol. ePrint Arch., 2018)

Asymmetric Message Franking: Content Moderation for Metadata-Private End-to-End Encryption. - Nirvan Tyagi; Paul Grubbs; Julia Len; Ian Miers; Thomas Ristenpart (IACR Cryptol. ePrint Arch., 2019)

Traceback for End-to-End Encrypted Messaging. - Nirvan Tyagi; Ian Miers; Thomas Ristenpart (IACR Cryptol. ePrint Arch., 2019)

Handling Adaptive Compromise for Practical Encryption Schemes. - Joseph Jaeger; Nirvan Tyagi (IACR Cryptol. ePrint Arch., 2020)

Proofs for Inner Pairing Products and Applications. - Benedikt Bünz; Mary Maller; Pratyush Mishra; Nirvan Tyagi; Psi Vesely (ASIACRYPT (3), 2021)

A Fast and Simple Partially Oblivious PRF, with Applications. - Nirvan Tyagi; Sofía Celi; Thomas Ristenpart; Nick Sullivan; Stefano Tessaro; Christopher A. Wood (IACR Cryptol. ePrint Arch., 2021)

Client-Auditable Verifiable Registries. - Nirvan Tyagi; Ben Fisch; Joseph Bonneau; Stefano Tessaro (IACR Cryptol. ePrint Arch., 2021)

Orca: Blocklisting in Sender-Anonymous Messaging. - Nirvan Tyagi; Julia Len; Ian Miers; Thomas Ristenpart (IACR Cryptol. ePrint Arch., 2021)

VeRSA: Verifiable Registries with Efficient Client Audits from RSA Authenticated Dictionaries. - Nirvan Tyagi; Ben Fisch; Andrew Zitek; Joseph Bonneau; Stefano Tessaro (CCS, 2022)

Bicorn: An optimistically efficient distributed randomness beacon. - Kevin Choi; Arasu Arun; Nirvan Tyagi; Joseph Bonneau (IACR Cryptol. ePrint Arch., 2023)

MUXProofs: Succinct Arguments for Machine Computation from Tuple Lookups. - Zijing Di; Lucas Xia; Wilson D. Nguyen; Nirvan Tyagi (IACR Cryptol. ePrint Arch., 2023)

Riggs: Decentralized Sealed-Bid Auctions. - Nirvan Tyagi; Arasu Arun; Cody Freitag; Riad S. Wahby; Joseph Bonneau; David Mazières (IACR Cryptol. ePrint Arch., 2023)

MuxProofs: Succinct Arguments for Machine Computation from Vector Lookups. - Zijing Di; Lucas Xia; Wilson D. Nguyen; Nirvan Tyagi (ASIACRYPT (5), 2024)

Private Hierarchical Governance for Encrypted Messaging. - Armin Namavari; Barry Wang; Sanketh Menda; Ben Nassi; Nirvan Tyagi; James Grimmelmann; Amy X. Zhang; Thomas Ristenpart (SP, 2024)

Mangrove: A Scalable Framework for Folding-based SNARKs. - Wilson D. Nguyen; Trisha Datta; Binyi Chen; Nirvan Tyagi; Dan Boneh (IACR Cryptol. ePrint Arch., 2024)

From Inquisitorial to Adversarial: Using Legal Theory to Redesign Online Reporting Systems. - Leijie Wang; Weizi Wu; Lirong Que; Nirvan Tyagi; Amy X. Zhang (CoRR, 2025)