ier. Comparison of cryptographic verification tools dealing with algebraic properties (2010)

by P Lafourcade, V Terrade, S Vig
Venue:In Pro- ceedings of the 6th international conference on Formal Aspects in Security and Trust, FAST’09