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

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 -