HACL*, a formally verified cryptographic library written in F*
security
cryptography
high-performance
verification
formal-methods
verified-primitives
formal-verification
everest
inria
hacl
-
Updated
May 20, 2024 - F*
HACL*, a formally verified cryptographic library written in F*
Rusty bindings for HACL*, a formally verified cryptographic library written in F*.
Add a description, image, and links to the verified-primitives topic page so that developers can more easily learn about it.
To associate your repository with the verified-primitives topic, visit your repo's landing page and select "manage topics."