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:

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