This website documents my work on formal verification and cryptography. I use proof assistants and verification tools to establish correctness and safety guarantees for critical cryptographic code.