Pratyush Mishra
Assistant ProfessorDepartment of Computer and Information Science
University of Pennsylvania
Email: prat@seas.upenn.edu
Office: Towne 219B
About me
Hi! I’m Pratyush. I am an Assistant Professor of Computer and Information Science at the University of Pennsylvania, where I am a member of the Security and Privacy Laboratory.
My research lies at the intersection of cryptography and computer security, with a focus on efficient realizations and applications of cryptographic proof systems and secure computation.
I am a co-author and co-maintainer of the arkworks ecosystem, which is a collection of libraries for zkSNARKs.
I am a founding scientist at Aleo, a startup based on my research project Zexe (see below). Previously, I completed my PhD in Computer Science at UC Berkeley under the excellent supervision of Alessandro Chiesa and Raluca Ada Popa. Before that, I completed my BSc in EECS at UC Berkeley, where I did research under the guidance of David Wagner.
Research Group
Current
- Anubhav Baweja (PhD student, co-advised with Sampath Kannan)
- Tushar Mopuri (PhD student)
- Bharath Namboothiry (PhD student)
- Alireza Shirzad (PhD student)
Alumni
- Matan Shtepel (Research Assistant → PhD at CMU)
Teaching
- CIS5560: Cryptography (Penn, Spring ‘24)
- CIS7000-2: Theory and Practice of Succinct Zero Knowledge Proofs (Penn, Fall ‘23)
- CS294-163: Decentralized Security: Theory and Systems (Berkeley, Fall ‘19)
Awards
Program Committees
Publications (Google Scholar, DBLP)
Preprints
Arc: Accumulation for Reed–Solomon Codes
Benedikt Bünz, Pratyush Mishra, Wilson Nguyen, William Wang
(ePrint)Garuda and Pari: Faster and Smaller SNARKs via Equifficient Polynomial Commitments
Michel Dellepere, Pratyush Mishra, Alireza Shirzad
(ePrint)Malicious Security for PIR (almost) for Free
Brett Falk, Pratyush Mishra, Matan Shtepel
(ePrint)
Conference publications
Accumulation without Homomorphism
Benedikt Bünz, Pratyush Mishra, Wilson Nguyen, William Wang
ITCS 2025
(ePrint)Hekaton: Horizontally-Scalable zkSNARKs via Proof Aggregation
Michael Rosenberg, Tushar Mopuri, Hossein Hafezi, Ian Miers, Pratyush Mishra
ACM CCS 2024
(ePrint)Efficient Private Delegation of zkSNARK Provers
Alessandro Chiesa, Ryan Lehmkuhl, Pratyush Mishra, Yinuo Zhang
USENIX Security 2023
(ePrint, Code, Talk)Proof-Carrying Data without Succinct Arguments
Benedikt Bünz, Alessandro Chiesa, William Lin, Pratyush Mishra, Nick Spooner
CRYPTO 2021
(ePrint, Code, Talk)Muse: Secure Inference Resilient to Malicious Clients
Ryan Lehmkuhl, Pratyush Mishra, Akshayaram Srinivasan, Raluca Ada Popa
USENIX Security 2021
(ePrint, Code, Talk)Proofs for Inner Pairing Products and Applications
Benedikt Bünz, Mary Maller, Pratyush Mishra, Nirvan Tyagi, Psi Vesely
ASIACRYPT 2021
(ePrint, Code)Proof-Carrying Data from Accumulation Schemes
Benedikt Bünz, Alessandro Chiesa, Pratyush Mishra, Nick Spooner
TCC 2020
(ePrint, Code, Talk)Marlin: Preprocessing zkSNARKs with Universal and Updatable SRS
Alessandro Chiesa, Yuncong Hu, Mary Maller, Pratyush Mishra, Psi Vesely, Nicholas P. Ward
EUROCRYPT 2020
(ePrint, Code, Talk)Delphi: A Cryptographic Inference Service for Neural Networks
Pratyush Mishra, Ryan Lehmkuhl, Akshayaram Srinivasan, Wenting Zheng, Raluca Ada Popa
USENIX Security 2020
(ePrint, Code, Talk)Zexe: Enabling Decentralized Private Computation
Sean Bowe, Alessandro Chiesa, Matthew Green, Ian Miers, Pratyush Mishra, Howard Wu
IEEE S&P 2020
(ePrint, Code, Talk)Oblix: An Efficient Oblivious Search Index
Pratyush Mishra, Rishabh Poddar, Jerry Chen, Alessandro Chiesa, Raluca Ada Popa
IEEE S&P 2018
(Paper, Talk)Decentralized Anonymous Micropayments
Alessandro Chiesa, Matthew Green, Jingcheng Liu, Peihan Miao, Ian Miers, Pratyush Mishra
EUROCRYPT 2017
(ePrint, Talk)Hidden Voice Commands
Nicholas Carlini, Pratyush Mishra, Tavish Vaidya, Yuankai Zhang, Micah Sherr, Clay Shields, David Wagner, and Wenchao Zhou.
USENIX Security 2016
(Paper, Demo, CSAW Applied Research Award)Smart Locks: Lessons for Securing Commodity Internet of Things Devices
Grant Ho, Derek Leung, Pratyush Mishra, Ashkan Hosseini, David Wagner, and Dawn Song
AsiaCCS 2016
(Paper)Somebody’s Watching Me? Assessing the Effectiveness of Webcam Indicator Lights
Rebecca S. Portnoff, Linda N. Lee, Serge Egelman, Pratyush Mishra, Derek Leung, and David Wagner
CHI 2015
(Paper)