Joshua Gancher

I am a PhD candidate in Computer Science at Cornell University, co-advised by Elaine Shi and Greg Morrisett.

My research is about using techniques from formal methods and program verification to certify proofs in cryptography.

Publications:

• Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs. To appear at PLDI 2021.
  Coşku Acay, Rolph Recto, Joshua Gancher, Andrew Myers, and Elaine Shi.
• IPDL: A Simple Framework for Formally Verifying Distributed Cryptographic Protocols. In submission to USENIX 2021.
  Greg Morrisett, Elaine Shi, Kristina Sojakova, Xiong Fan, and Joshua Gancher. ¹
• Symbolic Proofs for Lattice-Based Cryptography. CCS 2018.
  Gilles Barthe, Xiong Fan, Joshua Gancher, Benjamin Grégoire, Charlie Jacomme and Elaine Shi.
• Externally Verifiable Oblivious RAM. PETS 2017.
  Joshua Gancher, Adam Groce, and Alex Ledger.