Cryptology ePrint Archive: Report 2005/467
Available versions in chronological order
20051231:151053 (posted 31-Dec-2005 15:10:53 UTC)
A Probabilistic Hoare-style logic for Cryptographic Proofs
Ricardo Corin and Jerry den Hartog
20060202:132205 (posted 02-Feb-2006 13:22:05 UTC)
A Probabilistic Hoare-style logic for Cryptographic Proofs
Ricardo Corin and Jerry den Hartog
20060426:184530 (posted 26-Apr-2006 18:45:30 UTC)
A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs (Extended Version)
Ricardo Corin and Jerry den Hartog
Publication Info: To appear in ICALP 2006 Track C
20060426:185139 (posted 26-Apr-2006 18:51:39 UTC)
A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs (Extended Version)
Ricardo Corin and Jerry den Hartog
Publication Info: To appear in ICALP 2006 Track C
[
Cryptology ePrint archive
]