Fix event correlation in proverif (57696b25) · Commits · Fenrir / Thesis

GitLab now enforces expiry dates on tokens that originally had no set expiration date. Those tokens were given an expiration date of one year later. Please review your personal access tokens, project access tokens, and group access tokens to ensure you are aware of upcoming expirations. Administrators of GitLab can find more information on how to identify and mitigate interruption in our documentation.

Unverified Commit 57696b25 authored Oct 11, 2015 by

Luker

Browse files

Fix event correlation in proverif



cleanup the Fenrir.pv proof and fix event correlation proof.

Signed-off-by: Luca Fulchir <luker@fenrirproject.org>

parent 6fbf015d

Hide whitespace changes

Inline Side-by-side

Please register or to comment

Admin message

Fix event correlation in proverif