Cryptology ePrint Archive: Report 2005/401

Available versions in chronological order

20051114:214109 (posted 14-Nov-2005 21:41:09 UTC): A Computationally Sound Mechanized Prover for Security Protocols; Bruno Blanchet
20060222:120352 (posted 22-Feb-2006 12:03:52 UTC): A Computationally Sound Mechanized Prover for Security Protocols; Bruno Blanchet
20060624:175239 (posted 24-Jun-2006 17:52:39 UTC): A Computationally Sound Mechanized Prover for Security Protocols; Bruno Blanchet; Publication Info: A short version of this paper appears at IEEE Symposium on Security and Privacy, Oakland, 2006. This is the full version.
20070202:121605 (posted 02-Feb-2007 12:16:05 UTC): A Computationally Sound Mechanized Prover for Security Protocols; Bruno Blanchet; Publication Info: A short version of this paper appears at IEEE Symposium on Security and Privacy, Oakland, 2006. This is the full version.
20120616:095147 (posted 16-Jun-2012 09:51:47 UTC): A Computationally Sound Mechanized Prover for Security Protocols; Bruno Blanchet; Publication Info: A short version of this paper appears at IEEE Symposium on Security and Privacy, Oakland, 2006. This is the full version.