Advances in Cryptology ђ́أ ASIACRYPT 2012 : 18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012. Proceedings

This book constitutes the refereed proceedings of the 18th International Conference on the Theory and Application of Cryptology and Information Security, Asiacrypt 2012, held in Beijing, China, in December 2012. The 43 full papers presented were carefully reviewed and selected from 241 submissions. They are organized in topical sections named: public-key cryptography, foundation, symmetric cipher, security proof, lattice-based cryptography and number theory, hash function, cryptographic protocol, and implementation issues. Front Matter....Pages - Pairing-Based Cryptography: Past, Present, and Future....Pages 1-1 Some Mathematical Mysteries in Lattices....Pages 2-3 Constant-Size Structure-Preserving Signatures: Generic Constructions and Simple Assumptions....Pages 4-24 Dual Form Signatures: An Approach for Proving Security from Static Assumptions....Pages 25-42 Breaking Pairing-Based Cryptosystems Using η T Pairing over GF (3 97 )....Pages 43-60 On the (Im)possibility of Projecting Property in Prime-Order Setting....Pages 61-79 Optimal Reductions of Some Decisional Problems to the Rank Problem....Pages 80-97 Signature Schemes Secure against Hard-to-Invert Leakage....Pages 98-115 Completeness for Symmetric Two-Party Functionalities - Revisited....Pages 116-133 Adaptively Secure Garbling with Applications to One-Time Programs and Secure Outsourcing....Pages 134-153 The Generalized Randomized Iterate and Its Application to New Efficient Constructions of UOWHFs from Regular One-Way Functions....Pages 154-171 Perfect Algebraic Immune Functions....Pages 172-189 Differential Analysis of the LED Block Cipher....Pages 190-207 PRINCE – A Low-Latency Block Cipher for Pervasive Computing Applications....Pages 208-225 Analysis of Differential Attacks in ARX Constructions....Pages 226-243 Integral and Multidimensional Linear Distinguishers with Correlation Zero....Pages 244-261 Differential Attacks against Stream Cipher ZUC....Pages 262-277 An Asymptotically Tight Security Analysis of the Iterated Even-Mansour Cipher....Pages 278-295 3kf9: Enhancing 3GPP-MAC beyond the Birthday Bound....Pages 296-312 Understanding Adaptivity: Random Systems Revisited....Pages 313-330 RKA Security beyond the Linear Barrier: IBE, Encryption and Signatures....Pages 331-348 Fully Secure Unbounded Inner-Product and Attribute-Based Encryption....Pages 349-366 Computing on Authenticated Data: New Privacy Definitions and Constructions....Pages 367-385 A Coding-Theoretic Approach to Recovering Noisy RSA Keys....Pages 386-403 Certifying RSA....Pages 404-414 Faster Gaussian Lattice Sampling Using Lazy Floating-Point Arithmetic....Pages 415-432 Learning a Zonotope and More: Cryptanalysis of NTRUSign Countermeasures....Pages 433-450 On Polynomial Systems Arising from a Weil Descent....Pages 451-466 ECM at Work....Pages 467-484 IND-CCA Secure Cryptography Based on a Variant of the LPN Problem....Pages 485-503 Provable Security of the Knudsen-Preneel Compression Functions....Pages 504-525 Optimal Collision Security in Double Block Length Hashing with Single Length Key....Pages 526-543 Bicliques for Permutations: Collision and Preimage Attacks in Stronger Settings....Pages 544-561 Investigating Fundamental Security Requirements on Whirlpool: Improved Preimage and Collision Attacks....Pages 562-579 Generic Related-Key Attacks for HMAC....Pages 580-597 The Five-Card Trick Can Be Done with Four Cards....Pages 598-606 A Mix-Net from Any CCA2 Secure Cryptosystem....Pages 607-625 How Not to Prove Yourself: Pitfalls of the Fiat-Shamir Heuristic and Applications to Helios....Pages 626-643 Sequential Aggregate Signatures with Lazy Verification from Trapdoor Permutations....Pages 644-662 Commitments and Efficient Zero-Knowledge Proofs from Learning Parity with Noise....Pages 663-680 Calling Out Cheaters: Covert Security with Public Verifiability....Pages 681-698 A Unified Framework for UC from Only OT....Pages 699-717 Four-Dimensional Gallant-Lambert-Vanstone Scalar Multiplication....Pages 718-739 Shuffling against Side-Channel Attacks: A Comprehensive Study with Cautionary Note....Pages 740-757 Theory and Practice of a Leakage Resilient Masking Scheme....Pages 758-775 Erratum: Investigating Fundamental Security Requirements on Whirlpool: Improved Preimage and Collision Attacks....Pages E1-E1 Back Matter....Pages - Pairing-Based Cryptography Past, Present, and Future Some Mathematical Mysteries in Lattices Constant-Size Structure-Preserving Signatures: Generic Constructions and Simple Assumptions Dual Form Signatures: An Approach for Proving Security from Static Assumptions Breaking Pairing-Based Cryptosystems Using ηT Pairing over GF(397) On the (Im)possibility of Projecting Property in Prime-Order Setting Optimal Reductions of Some Decisional Problems to the Rank Problem Signature Schemes Secure against Hard-to-Invert Leakage Completeness for Symmetric Two-Party Functionalities - Revisited Adaptively Secure Garbling with Applications to One-Time Programs and Secure Outsourcing The Generalized Randomized Iterate and Its Application to New Efficient Constructions of UOWHFs from Regular One-Way Functions Symmetric Cipher Perfect Algebraic Immune Functions Differential Analysis of the LED Block Cipher ^ PRINCE – A Low-Latency Block Cipher for Pervasive Computing Applications: Extended Abstract Analysis of Differential Attacks in ARX Constructions Integral and Multidimensional Linear Distinguishers with Correlation Zero Differential Attacks against Stream Cipher ZUC An Asymptotically Tight Security Analysis of the Iterated Even-Mansour Cipher 3kf9: Enhancing 3GPP-MAC beyond the Birthday Bound Understanding Adaptivity: Random Systems Revisited RKA Security beyond the Linear Barrier: IBE, Encryption and Signatures Fully Secure Unbounded Inner-Product and Attribute-Based Encryption Computing on Authenticated Data: New Privacy Definitions and Constructions A Coding-Theoretic Approach to Recovering Noisy RSA Keys Certifying RSA Lattice-Based Cryptography and Number Theory Faster Gaussian Lattice Sampling Using Lazy Floating-Point Arithmetic Learning a Zonotope and More: Cryptanalysis of NTRUSign Countermeasures ^ ^^ On Polynomial Systems Arising from a Weil Descent ECM at Work IND-CCA Secure Cryptography Based on a Variant of the LPN Problem Provable Security of the Knudsen-Preneel Compression Functions Optimal Collision Security in Double Block Length Hashing with Single Length Key Bicliques for Permutations: Collision and Preimage Attacks in Stronger Settings Investigating Fundamental Security Requirements on Whirlpool: Improved Preimage and Collision Attacks Generic Related-Key Attacks for HMAC The Five-Card Trick Can Be Done with Four Cards A Mix-Net from Any CCA2 Secure Cryptosystem How Not to Prove Yourself: Pitfalls of the Fiat-Shamir Heuristic and Applications to Helios Sequential Aggregate Signatureswith Lazy Verification from Trapdoor Permutations (Extended Abstract) Commitments and Efficient Zero-Knowledge Proofs from Learning Parity with Noise Calling Out Cheaters: Covert Security with Public Verifiability ^ ^^ A Unified Framework for UC from Only OT Four-Dimensional Gallant-Lambert-Vanstone Scalar Multiplication Shuffling against Side-Channel Attacks: A Comprehensive Study with Cautionary Note Theory and Practice of a Leakage Resilient Masking Scheme. ^^