research data . Dataset . 2013

The TAMARIN Prover for the Symbolic Analysis of Security Protocols

Meier, Simon; Schmidt, Benedikt; Cremers, Cas; Basin, David;
  • Published: 01 Jan 2013
  • Publisher: Springer Berlin Heidelberg