The TAMARIN Prover for the Symbolic Analysis of Security Protocols.

Simon Meier, Benedikt Schmidt, Cas Cremers, David A. Basin

Browse the full CAV paper archive.