Provable Security: 5th International Conference, ProvSec 2011, Xi’an, China, October 16-18, 2011. Proceedings

Description

This book constitutes the refereed proceedings of the 5th Provable Security Conference held in in Xi'an, China, in October 2011. The 22 full papers presented together with 4 short papers and 2 invited talks were carefully reviewed and selected from 75 submissions. The papers are divided in topical sections on cryptographic primitives; encryption; cryptographic protocols; security models and framework; and key agreement. Front Matter....Pages - Optimal Structure-Preserving Signatures....Pages 1-1 Secure Composition of Cryptographic Protocols....Pages 2-2 Secure Two-Party Computation over a Z-Channel....Pages 3-15 Precise Time and Space Simulatable Zero-Knowledge....Pages 16-33 Weak Oblivious Transfer from Strong One-Way Functions....Pages 34-51 Simulatable Adaptive Oblivious Transfer with Statistical Receiver’s Privacy....Pages 52-67 Verifiable Security of Boneh-Franklin Identity-Based Encryption....Pages 68-83 Efficient Ciphertext Policy Attribute-Based Encryption with Constant-Size Ciphertext and Constant Computation-Cost....Pages 84-101 Fully Distributed Broadcast Encryption....Pages 102-119 Efficient Identity-Based Signcryption in the Standard Model....Pages 120-137 Toward Compact Public Key Encryption Based on CDH Assumption via Extended Twin DH Assumption....Pages 138-153 Anonymous Encryption with Partial-Order Subset Delegation Functionality....Pages 154-169 Concurrent Signatures with Fully Negotiable Binding Control....Pages 170-187 Secure Obfuscation of Encrypted Verifiable Encrypted Signatures....Pages 188-203 Identity-Based Trace and Revoke Schemes....Pages 204-221 Universally Composable Private Proximity Testing....Pages 222-239 Generic Constant-Round Oblivious Sorting Algorithm for MPC....Pages 240-256 General Construction of Chameleon All-But-One Trapdoor Functions....Pages 257-265 PolyE+CTR: A Swiss-Army-Knife Mode for Block Ciphers....Pages 266-280 Security of Practical Cryptosystems Using Merkle-Damgård Hash Function in the Ideal Cipher Model....Pages 281-296 Key-Dependent Message Security for Division Function: Discouraging Anonymous Credential Sharing....Pages 297-308 Randomness Leakage in the KEM/DEM Framework....Pages 309-323 Generalized Learning Problems and Applications to Non-commutative Cryptography....Pages 324-339 A Novel Framework for Protocol Analysis....Pages 340-347 Taxonomical Security Consideration of Authenticated Key Exchange Resilient to Intermediate Computation Leakage....Pages 348-365 Gateway-Oriented Password-Authenticated Key Exchange Protocol with Stronger Security....Pages 366-379 TMQV: A Strongly eCK-Secure Diffie-Hellman Protocol without Gap Assumption....Pages 380-388 Strongly Secure One Round Authenticated Key Exchange Protocol with Perfect Forward Security....Pages 389-397 Back Matter....Pages -