Cryptology ePrint Archive: Report 2008/132

Available versions in chronological order


Sound and Fine-grain Specification of Cryptographic Tasks
Juan A. Garay and Aggelos Kiayias and Hong-Sheng Zhou

Sound and Fine-Grain Specification of Cryptographic Tasks
Juan Garay and Aggelos Kiayias and Hong-Sheng Zhou

Sound and Fine-Grain Specification of Cryptographic Tasks
Juan Garay and Aggelos Kiayias and Hong-Sheng Zhou

A Framework for the Sound Specification of Cryptographic Tasks
Juan A. Garay and Aggelos Kiayias and Hong-Sheng Zhou


[ Cryptology ePrint archive ]