Computational Soundness without Protocol Restrictions

Michael Backes, Ankit Malik, Dominique Unruh. Computational Soundness without Protocol Restrictions. IACR Cryptology ePrint Archive, 2012:486, 2012. [doi]

Abstract

Abstract is missing.