Cryptology ePrint Archive: Report 2009/080
Available versions in chronological order
20090218:170249 (posted 18-Feb-2009 17:02:49 UTC)
A general framework for computational soundness proofs - or - The computational soundness of the applied pi-calculus
Michael Backes and Dennis Hofheinz and Dominique Unruh
20090603:104832 (posted 03-Jun-2009 10:48:32 UTC)
CoSP: A general framework for computational soundness proofs - or - The computational soundness of the applied pi-calculus
Michael Backes and Dennis Hofheinz and Dominique Unruh
20091026:183403 (posted 26-Oct-2009 18:34:03 UTC)
CoSP: A General Framework For Computational Soundness Proofs
Michael Backes and Dennis Hofheinz and Dominique Unruh
Publication Info: A short version appears at ACM CCS 2009
[
Cryptology ePrint archive
]