Sites Inria

Il y a 1 Résultats avec le mot clé : "Haute assurance"

© INRIA Sophie Auvin - P comme Protocole

Rencontres Inria Industrie

HACL* : Librairie Cryptographique pour Applications à haut niveau d'assurance

Équipe-projet Prosecco (Inria Paris) -

HACL* est une librairie cryptographique formellement verifiée et performante ayant un haut niveau d'assurance. Elle implémente la plupart des primitives cryptographiques modernes utilisées dans l'industrie ainsi que les APIs de NaCl/TweetNaCl et d'une partie de Libsodium. HACL* peut donc s'y substituer. Le code C est généré depuis F*, permettant donc l'intégration de la librairie au sein d'applications plus vastes et des preuves de sécurité de celles-ci.

Mots-clés :

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

Lire la suite

Haut de page

Suivez Inria