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, Nirvan Tyagi, Psi Vesely.
  (ePrint, Code)

Conference publications:

• Proof-Carrying Data without Succinct Arguments^*
  Benedikt Bünz, Alessandro Chiesa, William Lin, Pratyush Mishra, Nick Spooner.
  CRYPTO 2021.
  (ePrint, Code, Talk)

• MUSE: Client-Malicious Secure Inference
  Ryan Lehmkuhl, Pratyush Mishra, Akshayaram Srinivasan, Raluca Ada Popa.
  USENIX Security 2021.

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