Cryptology ePrint Archive: Report 2006/266
Available versions in chronological order
20060810:132235 (posted 10-Aug-2006 13:22:35 UTC)
Computationally Sound Secrecy Proofs by Mechanized Flow Analysis
Michael Backes and Peeter Laud
Publication Info: Full version of a paper published in the proceedings of the 13th ACM Conference on Computer and Communication Security (CCS 2006)
[
Cryptology ePrint archive
]