Tool : Hoare Logic Checkers for Security Proofs

We developp two prototypes that implement two Hoare Logic to automatically verify specific cryptographic primitives

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