Mentions légales du service

Admin message

GitLab upgrade completed. Current version is 18.11.6
https://docs.gitlab.com/releases/18/gitlab-18-11-released/

S

SAT-Equiv

Project information

SAT-Equiv is an equivalence checker for cryptographic protocols. It proceeds by reduction to planning problem and SAT-formula, for a bounded number of sessions.

7 Commits
2 Branches
2 Tags

README
GNU AGPLv3

Created on

March 19, 2018

Loading