Pratyush Mishra (original) (raw)
Assistant Professor
Department 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)