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

