Papers
2024
- [Conference] The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography (CPP-2024, doi: 10.1145/3636501.3636961, CPP slides, Presentation)
2023
- [Preprint] The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography (eprint)
- HACSPEC: a gateway to high-assurance cryptography (Extended abstract, RWC, YouTube, Slides)
Workshops
- A formal security analysis of Blockchain voting ({CoqPL-2024 , Presentation}, {TYPES-2024 Slides})
- Specifying Smart Contract with Hax and ConCert (CoqPL-2024, Presentation)