Publications

• 📕 hacspec Tech report
• 📕 HACSpec: A gateway to high-assurance cryptography
• 📕 Original hacspec paper

Secondary literature, using hacspec & hax:

• 📕 Last yard
• 📕 A Verified Pipeline from a Specification Language to Optimized, Safe Rust at CoqPL'22
• 📕 Hax - Enabling High Assurance Cryptographic Software at RustVerify24
• 📕 A formal security analysis of Blockchain voting at CoqPL'24
• 📕 Specifying Smart Contract with Hax and ConCert at CoqPL'24