To cite hax, please use hax: Verifying Security-Critical Rust Software using Multiple Provers.

Publications

• Formal Security and Functional Verification of Cryptographic Protocol Implementations in Rust
• hax: Verifying Security-Critical Rust Software using Multiple Provers
• 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