Tool : Hoare Logic Checkers for Security Proofs
We developp two prototypes that implement two Hoare Logic to automatically verify specific cryptographic primitives
http://sancy.univ-bpclermont.fr/~lafourcade/Tools/
Authors : Pascal LAFOURCADE, Martin Gagné and Yassine Lakhnech
We developp two prototypes that implement two Hoare Logic to automatically verify specific cryptographic primitives
http://sancy.univ-bpclermont.fr/~lafourcade/Tools/
Authors : Pascal LAFOURCADE, Martin Gagné and Yassine Lakhnech