Cryptology ePrint Archive: Report 2006/323
Available versions in chronological order
20060926:095310 (posted 26-Sep-2006 09:53:10 UTC)
Computational Soundness of Formal Indistinguishability and Static Equivalence
Gergei Bana and Payman Mohassel and Till Stegers
20070109:232923 (posted 09-Jan-2007 23:29:23 UTC)
Computational Soundness of Formal Indistinguishability and Static Equivalence
Gergei Bana and Payman Mohassel and Till Stegers
Publication Info: A shorter version was presented at ASIAN 2006.
[
Cryptology ePrint archive
]