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