Sites Inria

English version

Rencontres Inria Industrie

Équipe-projet Prosecco (Inria Paris) -

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

© INRIA Sophie Auvin - P comme Protocole

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 : Haute performance Haute assurance Méthodes Formelles Applications sécurisées Cryptographie

Haut de page

Suivez Inria