Cryptology ePrint Archive: Report 2007/128
Available versions in chronological order
20070404:095542 (posted 04-Apr-2007 09:55:42 UTC)
Computationally Sound Mechanized Proofs of Correspondence Assertions
Bruno Blanchet
Publication Info: The conference version of this paper is to appear at CSF'07 (IEEE Computer Security Foundations Symposium)
[
Cryptology ePrint archive
]