There are 1 Results with the keyword : "High Performance"
Rencontres Inria Industrie
HACL* is a new verified cryptographic library that implements popular modern cryptographic primitives. Using these primitives, HACL* implements the NaCl cryptographic API and can be used as a drop-in replacement for NaCl implementations like libsodium and TweetNaCl. The source code is C generated from F*. This implies that the verified primitives can be used as part as security critical applications and their security proofs.