Provable Security

1. Front Matter

   PDF

2. Invited Talks

   1. Optimal Structure-Preserving Signatures

      • Jens Groth

      Pages 1-1

   2. Secure Composition of Cryptographic Protocols

      • Vipul Goyal

      Pages 2-2

3. Cryptographic Primitives

   1. Secure Two-Party Computation over a Z-Channel

      • Paolo Palmieri, Olivier Pereira

      Pages 3-15

   2. Precise Time and Space Simulatable Zero-Knowledge

      • Ning Ding, Dawu Gu

      Pages 16-33

   3. Weak Oblivious Transfer from Strong One-Way Functions

      • Keisuke Tanaka, Akihiro Yamada, Kenji Yasunaga

      Pages 34-51

   4. Simulatable Adaptive Oblivious Transfer with Statistical Receiver’s Privacy

      • Bingsheng Zhang

      Pages 52-67

4. Encryption

   1. Verifiable Security of Boneh-Franklin Identity-Based Encryption

      • Gilles Barthe, Federico Olmedo, Santiago Zanella Béguelin

      Pages 68-83

   2. Efficient Ciphertext Policy Attribute-Based Encryption with Constant-Size Ciphertext and Constant Computation-Cost

      • Cheng Chen, Zhenfeng Zhang, Dengguo Feng

      Pages 84-101

   3. Fully Distributed Broadcast Encryption

      • Qianhong Wu, Bo Qin, Lei Zhang, Josep Domingo-Ferrer

      Pages 102-119

   4. Efficient Identity-Based Signcryption in the Standard Model

      • Fagen Li, Fahad Bin Muhaya, Mingwu Zhang, Tsuyoshi Takagi

      Pages 120-137

   5. Toward Compact Public Key Encryption Based on CDH Assumption via Extended Twin DH Assumption

      • Yoshikazu Hanatani, Hirofumi Muratani, Tomoko Yonemura

      Pages 138-153

   6. Anonymous Encryption with Partial-Order Subset Delegation Functionality

      • Mingwu Zhang, Takashi Nishide, Bo Yang, Tsuyoshi Takagi

      Pages 154-169

5. Cryptographic Protocols

   1. Concurrent Signatures with Fully Negotiable Binding Control

      • Tsz Hon Yuen, Duncan S. Wong, Willy Susilo, Qiong Huang

      Pages 170-187

   2. Secure Obfuscation of Encrypted Verifiable Encrypted Signatures

      • Rong Cheng, Bo Zhang, Fangguo Zhang

      Pages 188-203

   3. Identity-Based Trace and Revoke Schemes

      • Duong Hieu Phan, Viet Cuong Trinh

      Pages 204-221

   4. Universally Composable Private Proximity Testing

      • Rafael Tonicelli, Bernardo Machado David, Vinícius de Morais Alves

      Pages 222-239

   5. Generic Constant-Round Oblivious Sorting Algorithm for MPC

      • Bingsheng Zhang

      Pages 240-256

   6. General Construction of Chameleon All-But-One Trapdoor Functions

      • Shengli Liu, Junzuo Lai, Robert H. Deng

      Pages 257-265

6. Security Models and Framework

   1. PolyE+CTR: A Swiss-Army-Knife Mode for Block Ciphers

      • Liting Zhang, Wenling Wu, Peng Wang

      Pages 266-280

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.

• authentication
• broadcast encryption
• digital signatures
• oblivious transfer
• zero-knowledge
• algorithm analysis and problem complexity

• Palo Alto Research Center, Palo Alto, USA

  Xavier Boyen

• School of Telecommunications Engineering, Xidian University, Xi’an, China

  Xiaofeng Chen

Policies and ethics