Outil : Hoare Logic Checkers pour preuves de securité

Prototypes qui implémentent deux Hoare Logic pour vérifier automatiquement les primitives cryptographiques

Nous avons développé deux prototypes qui implémentent deux Hoare Logic pour vérifier automatiquement les primitives cryptographiques



http://sancy.univ-bpclermont.fr/~lafourcade/Tools/

Auteurs : Pascal LAFOURCADE, Martin Gagné and Yassine Lakhnech