SAT-Equiv

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.

This tool has been described in our paper:

The long version is available here.

Example files for SAT-Equiv, APTE, AKISS and SPEC can be found in this link.

Sources

Installation

Feel free to ask any unanswered question to name@lsv.fr where name is dallon.