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

(Google Scholar, DBLP)

• 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.