https://github.com/hacl-star/hacl-star
HACL*, a formally verified cryptographic library written in F*
cryptography
everest
formal-methods
formal-verification
hacl
high-performance
inria
security
verification
verified-primitives
Added: over 1 year ago - Last Synced: 11 months ago
- Created: June 23, 2016
