HACL*, a formally verified cryptographic library written in F*
security
cryptography
high-performance
verification
formal-methods
verified-primitives
formal-verification
everest
inria
hacl
-
Updated
Aug 18, 2024 - F*