Hacspec: Streamlined and Verifiable Cryptography Specifications for Enhanced Security 🔒

Discover how Hacspec offers concise, executable, and verifiable specifications to ensure high-assurance cryptography, authored by Denis Merigoux, Franziskus Kiefer, and Karthikeyan Bhargavan.