Pratyush Mishra

Hi! I'm Pratyush. I recently completed my PhD in Computer Science at UC Berkeley under the excellent supervision of Alessandro Chiesa and Raluca Ada Popa.
I am currently a cryptographer and founding scientist at Aleo, a startup based on my research project Zexe (see below).
Before that, I completed my BSc in EECS at UC Berkeley, where I did research under the guidance of David Wagner.
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 of the arkworks
ecosystem, which is a collection of libraries for zkSNARKs.
Publications
-
Proof-Carrying Data without Succinct Arguments
Alphabetical order: 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
Alphabetical order: Benedikt Bünz, Mary Maller, Pratyush Mishra, Nirvan Tyagi, Psi Vesely
ASIACRYPT 2021
(ePrint, Code) -
Proof-Carrying Data from Accumulation Schemes
Alphabetical order: Benedikt Bünz, Alessandro Chiesa, Pratyush Mishra, Nick Spooner
TCC 2020
(ePrint, Code, Talk) -
Marlin: Preprocessing zkSNARKs with Universal and Updatable SRS
Alphabetical order: Alessandro Chiesa, Yuncong Hu, Mary Maller, Pratyush Mishra, Noah 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
Alphabetical order: 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
Alphabetical order: 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)
Teaching
-
Co-instructor, CS294-163: Decentralized Security: Theory and Systems (Fall '19)
Graduate seminar on theory and systems for decentralized security. -
Teaching Assistant, CS161: Computer Security (Spring '19)
Undergraduate introduction to computer security. -
Teaching Assistant, CS161: Computer Security (Spring '16)
Undergraduate introduction to computer security.