Pratyush Mishra

Hi! I'm Pratyush, a fifth-year CS PhD student at UC Berkeley.
I'm advised by Alessandro Chiesa and Raluca Ada Popa.
I'm interested in cryptography and computer security.
I'm a founding scientist at Aleo.
I am a co-author of a number of SNARK-related libraries in the arkworks
ecosystem.
Papers
Preprints:
- Proofs for Inner Pairing Products and Applications*
Benedikt Bünz, Mary Maller, Pratyush Mishra, Psi Vesely.
(ePrint, Code)
Conference publications:
-
Proof-Carrying Data from Accumulation Schemes*
Benedikt Bünz, Alessandro Chiesa, Pratyush Mishra, Nick Spooner.
TCC 2020.
(ePrint, Talk) -
Marlin: Preprocessing zkSNARKs with Universal and Updatable SRS*
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*
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)
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.