Cryptology ePrint Archive: Report 2012/173
Available versions in chronological order
20120411:155519 (posted 11-Apr-2012 15:55:19 UTC)
Automatically Verified Mechanized Proof of One-Encryption Key Exchange
Bruno Blanchet
Publication Info: This is the full version of a paper to appear at CSF'12 (IEEE Computer Security Foundations Symposium). The full version adds all appendices.
[
Cryptology ePrint archive
]