Tools

Succinct Solver

Solver for ALFP - a generalization of Horn theories

 

LySa

Verifier for security protocols based on static analysis - builds on Succinct Solver

 

OFMC

Verifier for security protocols based on symbolic model checking

AIF

Set-based abstraction for security protocols - builds on ProVerif and SPASS

 

RESIS

Min-max rational equation solver through strategy iteration