Joshua Gancher

I am a PhD student 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. [ link ]

  Gilles Barthe, Xiong Fan, Joshua Gancher, Benjamin Grégoire, Charlie Jacomme and Elaine Shi.

• Externally Verifiable Oblivious RAM. PETS 2017. [ link ]

  Joshua Gancher, Adam Groce, and Alex Ledger.

Email: jrg358@cornell.edu