Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols.

Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano

Browse the full DEPCoS paper archive.