Papers
2025
- [Preprint] hax: Verifying Security-Critical Rust Software using Multiple Provers (eprint)
2024
- [Conference] The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography (CPP-2024, doi: 10.1145/3636501.3636961, CPP slides, Presentation or YouTube)
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 or YouTube}, {TYPES-2024 Slides}, {zk-proof})
- Specifying Smart Contract with Hax and ConCert (CoqPL-2024, Presentation or YouTube)