Nirvan Tyagi

Publications

• MuxProofs: Succinct Arguments for Machine Computation from Vector Lookups
  Zijing Di, Lucas Xia, Wilson Nguyen, Nirvan Tyagi
  ASIACRYPT 2024
  [archive] [code]
• Mangrove: A Scalable Framework for Folding-based SNARKs
  Wilson Nguyen, Trisha Datta, Binyi Chen, Nirvan Tyagi, Dan Boneh
  CRYPTO 2024
  [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]