Nirvan Tyagi

Orcid: 0000-0002-7671-5681

According to our database1, Nirvan Tyagi authored at least 18 papers between 2016 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Mangrove: A Scalable Framework for Folding-based SNARKs.
IACR Cryptol. ePrint Arch., 2024

Private Hierarchical Governance for Encrypted Messaging.
Proceedings of the IEEE Symposium on Security and Privacy, 2024

2023
Riggs: Decentralized Sealed-Bid Auctions.
IACR Cryptol. ePrint Arch., 2023

MUXProofs: Succinct Arguments for Machine Computation from Tuple Lookups.
IACR Cryptol. ePrint Arch., 2023

Bicorn: An optimistically efficient distributed randomness beacon.
IACR Cryptol. ePrint Arch., 2023

2022
VeRSA: Verifiable Registries with Efficient Client Audits from RSA Authenticated Dictionaries.
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021
Orca: Blocklisting in Sender-Anonymous Messaging.
IACR Cryptol. ePrint Arch., 2021

Client-Auditable Verifiable Registries.
IACR Cryptol. ePrint Arch., 2021

A Fast and Simple Partially Oblivious PRF, with Applications.
IACR Cryptol. ePrint Arch., 2021

Proofs for Inner Pairing Products and Applications.
Proceedings of the Advances in Cryptology - ASIACRYPT 2021, 2021

2020
Handling Adaptive Compromise for Practical Encryption Schemes.
IACR Cryptol. ePrint Arch., 2020

2019
Traceback for End-to-End Encrypted Messaging.
IACR Cryptol. ePrint Arch., 2019

Asymmetric Message Franking: Content Moderation for Metadata-Private End-to-End Encryption.
IACR Cryptol. ePrint Arch., 2019

2018
BurnBox: Self-Revocable Encryption in a World Of Compelled Access.
IACR Cryptol. ePrint Arch., 2018

2017
Stadium: A Distributed Metadata-Private Messaging System.
Proceedings of the 26th Symposium on Operating Systems Principles, 2017

2016
Stadium: A Distributed Metadata-Private Messaging System.
IACR Cryptol. ePrint Arch., 2016

Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms.
Proceedings of the Reversible Computation - 8th International Conference, 2016

Energy-Efficient Algorithms.
Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science, 2016


  Loading...