A Framework for the Sound Specification of Cryptographic Tasks

Juan A. Garay, Aggelos Kiayias, Hong-Sheng Zhou. A Framework for the Sound Specification of Cryptographic Tasks. IACR Cryptology ePrint Archive, 2008:132, 2008. [doi]

Abstract

Abstract is missing.