Sites Inria

There are 1 Results with the keyword : "High Assurance"

© INRIA Sophie Auvin - P comme Protocole

Rencontres Inria Industrie

HACL*: Verified Cryptography for Provably Secure Applications

Project team Prosecco (Inria Paris) -

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.

Keywords:

Home > Centre > Paris > Innovation > RII "Les données" 17-18 octobre 2017 > Demos > HACL* : Librairie Cryptographique pour Applications à haut niveau d'assurance

More

Top