Pratyush Mishra

According to our database, Pratyush Mishra authored at least 30 papers between 2015 and 2025.

Collaborative distances:

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

2025

Query-Optimal IOPPs for Linear-Time Encodable Codes.

Anubhav Baweja, Pratyush Mishra, Tushar Mopuri, Matan Shtepel

IACR Cryptol. ePrint Arch., 2025

FICS and FACS: Fast IOPPs and Accumulation via Code-Switching.

Anubhav Baweja, Pratyush Mishra, Tushar Mopuri, Matan Shtepel

IACR Cryptol. ePrint Arch., 2025

Time-Space Trade-Offs for Sumcheck.

Anubhav Baweja, Alessandro Chiesa, Elisabetta Fedele, Giacomo Fenzi, Pratyush Mishra, Tushar Mopuri, Andrew Zitek-Estrada

IACR Cryptol. ePrint Arch., 2025

Coral: Fast Succinct Non-Interactive Zero-Knowledge CFG Proofs.

Sebastian Angel, Sofía Celi, Elizabeth Margolin, Pratyush Mishra, Martin Sander, Jess Woods

IACR Cryptol. ePrint Arch., 2025

DFS: Delegation-friendly zkSNARK and Private Delegation of Provers.

Yuncong Hu, Pratyush Mishra, Xiao Wang, Jie Xie, Kang Yang, Yu Yu, Yuwen Zhang

Proceedings of the 34th USENIX Security Symposium, 2025

Accumulation Without Homomorphism.

Benedikt Bünz, Pratyush Mishra, Wilson Nguyen, William Wang

Proceedings of the 16th Innovations in Theoretical Computer Science Conference, 2025

Malicious Security for PIR (Almost) for Free.

Brett Falk, Pratyush Mishra, Matan Shtepel

Proceedings of the Advances in Cryptology - CRYPTO 2025, 2025

Arc: Accumulation for Reed-Solomon Codes.

Benedikt Bünz, Pratyush Mishra, Wilson Nguyen, William Wang

Proceedings of the Advances in Cryptology - CRYPTO 2025, 2025

2024

Malicious Security for PIR (almost) for Free.

Brett Hemenway Falk, Pratyush Mishra, Matan Shtepel

IACR Cryptol. ePrint Arch., 2024

Garuda and Pari: Faster and Smaller SNARKs via Equifficient Polynomial Commitments.

Michel Dellepere, Pratyush Mishra, Alireza Shirzad

IACR Cryptol. ePrint Arch., 2024

Scribe: Low-memory SNARKs via Read-Write Streaming.

Anubhav Baweja, Pratyush Mishra, Tushar Mopuri, Karan Newatia, Steve Wang

IACR Cryptol. ePrint Arch., 2024

Embracing NLP-Enhanced Word Embeddings for Contextually Enriched Technical Debt Estimation in Software Code Comments: An Empirical Study.

Ishpreet Kaur, Lov Kumar, Vikram Singh, Pratyush Mishra, Proksh

Proceedings of the OITS International Conference on Information Technology, 2024

Hekaton: Horizontally-Scalable zkSNARKs Via Proof Aggregation.

Michael Rosenberg, Tushar Mopuri, Hossein Hafezi, Ian Miers, Pratyush Mishra

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

An Empirical Analysis on Leveraging User Reviews with NLP-Enhanced Word Embeddings for App Rating Prediction.

Pratyush Mishra, Vikram Singh, Aneesh Krishna, Lov Kumar

Proceedings of the Advanced Information Networking and Applications, 2024

2023

Eos: Efficient Private Delegation of zkSNARK Provers.

Alessandro Chiesa, Ryan Lehmkuhl, Pratyush Mishra, Yinuo Zhang

Proceedings of the 32nd USENIX Security Symposium, 2023

2021

Privacy and Scalability for Decentralized Cryptographic Systems

Pratyush Mishra

PhD thesis, 2021

Muse: Secure Inference Resilient to Malicious Clients.

Ryan Lehmkuhl, Pratyush Mishra, Akshayaram Srinivasan, Raluca Ada Popa

Proceedings of the 30th USENIX Security Symposium, 2021

Proof-Carrying Data Without Succinct Arguments.

Benedikt Bünz, Alessandro Chiesa, William Lin, Pratyush Mishra, Nicholas Spooner

Proceedings of the Advances in Cryptology - CRYPTO 2021, 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

Proof-Carrying Data from Accumulation Schemes.

Benedikt Bünz, Alessandro Chiesa, Pratyush Mishra, Nicholas Spooner

IACR Cryptol. ePrint Arch., 2020

Delphi: A Cryptographic Inference Service for Neural Networks.

Pratyush Mishra, Ryan Lehmkuhl, Akshayaram Srinivasan, Wenting Zheng, Raluca Ada Popa

Proceedings of the 29th USENIX Security Symposium, 2020

Recursive Proof Composition from Accumulation Schemes.

Benedikt Bünz, Alessandro Chiesa, Pratyush Mishra, Nicholas Spooner

Proceedings of the Theory of Cryptography - 18th International Conference, 2020

ZEXE: Enabling Decentralized Private Computation.

Sean Bowe, Alessandro Chiesa, Matthew Green, Ian Miers, Pratyush Mishra, Howard Wu

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Marlin: Preprocessing zkSNARKs with Universal and Updatable SRS.

Alessandro Chiesa, Yuncong Hu, Mary Maller, Pratyush Mishra, Psi Vesely, Nicholas P. Ward

Proceedings of the Advances in Cryptology - EUROCRYPT 2020, 2020

Delphi: A Cryptographic Inference System for Neural Networks.

Pratyush Mishra, Ryan Lehmkuhl, Akshayaram Srinivasan, Wenting Zheng, Raluca Ada Popa

Proceedings of the PPMLP'20: Proceedings of the 2020 Workshop on Privacy-Preserving Machine Learning in Practice, 2020

2018

Oblix: An Efficient Oblivious Search Index.

Pratyush Mishra, Rishabh Poddar, Jerry Chen, Alessandro Chiesa, Raluca Ada Popa

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

2017

Decentralized Anonymous Micropayments.

Alessandro Chiesa, Matthew Green, Jingcheng Liu, Peihan Miao, Ian Miers, Pratyush Mishra

Proceedings of the Advances in Cryptology - EUROCRYPT 2017 - 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30, 2017

2016

Hidden Voice Commands.

Nicholas Carlini, Pratyush Mishra, Tavish Vaidya, Yuankai Zhang, Micah Sherr, Clay Shields, David A. Wagner, Wenchao Zhou

Proceedings of the 25th USENIX Security Symposium, 2016

Smart Locks: Lessons for Securing Commodity Internet of Things Devices.

Grant Ho, Derek Leung, Pratyush Mishra, Ashkan Hosseini, Dawn Song, David A. Wagner

Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security, 2016

2015

Somebody's Watching Me?: Assessing the Effectiveness of Webcam Indicator Lights.

Rebecca S. Portnoff, Linda Naeun Lee, Serge Egelman, Pratyush Mishra, Derek Leung, David A. Wagner

Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, 2015