Mentions légales du service

Skip to content
Snippets Groups Projects
popstar

popstar

  • S

    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.