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