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 26, 2024 - F*
HACL*, a formally verified cryptographic library written in F*
Rust bindings for HACL* / EverCrypt (high assurance crypto)
run HACL* C code against Monocypher and TIS-CI
Add a description, image, and links to the hacl topic page so that developers can more easily learn about it.
To associate your repository with the hacl topic, visit your repo's landing page and select "manage topics."