Outil : Hoare Logic Checkers pour preuves de securité
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
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