Provable Security

1. Front Matter

   PDF

2. Invited Talk

   1. Tools over Bilinear Groups for Modular Design of Cryptographic Tasks

      • Masayuki Abe

      Pages 1-1

3. Signature Schemes

   1. One-Move Convertible Nominative Signature in the Standard Model

      • Dennis Y. W. Liu, Duncan S. Wong

      Pages 2-20

   2. Efficient and Random Oracle-Free Conditionally Anonymous Ring Signature

      • Shengke Zeng, Zhiguang Qin, Qing Lu, Qinyi Li

      Pages 21-34

   3. ID Based Signcryption Scheme in Standard Model

      • S. Sharmila Deva Selvi, S. Sree Vivek, Dhinakaran Vinayagamurthy, C. Pandu Rangan

      Pages 35-52

   4. Combined Public-Key Schemes: The Case of ABE and ABS

      • Cheng Chen, Jie Chen, Hoon Wei Lim, Zhenfeng Zhang, Dengguo Feng

      Pages 53-69

4. Foundations

   1. Several Weak Bit-Commitments Using Seal-Once Tamper-Evident Devices

      • Ioana Boureanu, Serge Vaudenay

      Pages 70-87

   2. Deterministic Random Oracles

      • Margus Niitsoo

      Pages 88-103

   3. On the (Non-)Equivalence of UC Security Notions

      • Oana Ciobotaru

      Pages 104-124

5. Leakage Resilience and Key Escrow

   1. LR-UESDE: A Continual-Leakage Resilient Encryption with Unbounded Extensible Set Delegation

      • Bo Yang, Mingwu Zhang

      Pages 125-142

   2. Anonymous Identity-Based Hash Proof System and Its Applications

      • Yu Chen, Zongyang Zhang, Dongdai Lin, Zhenfu Cao

      Pages 143-160

   3. Efficient Escrow-Free Identity-Based Signature

      • Yunmei Zhang, Joseph K. Liu, Xinyi Huang, Man Ho Au, Willy Susilo

      Pages 161-174

6. Encryption Schemes

   1. Perfect Keyword Privacy in PEKS Systems

      • Mototsugu Nishioka

      Pages 175-192

   2. Efficient Fully Secure Attribute-Based Encryption Schemes for General Access Structures

      • Tapas Pandit, Rana Barua

      Pages 193-214

   3. Symmetric Inner-Product Predicate Encryption Based on Three Groups

      • Masayuki Yoshino, Noboru Kunihiro, Ken Naganuma, Hisayoshi Sato

      Pages 215-234

   4. Secure Keyword Search Using Bloom Filter with Specified Character Positions

      • Takanori Suga, Takashi Nishide, Kouichi Sakurai

      Pages 235-252

7. Short Papers

   1. Fully Secure Doubly-Spatial Encryption under Simple Assumptions

      • Cheng Chen, Zhenfeng Zhang, Dengguo Feng

      Pages 253-263

   2. Strongly Authenticated Key Exchange Protocol from Bilinear Groups without Random Oracles

      • Zheng Yang, Jörg Schwenk

      Pages 264-275

   3. Authenticated Key Exchange with Entities from Different Settings and Varied Groups

      • Yanfei Guo, Zhenfeng Zhang

      Pages 276-287

   4. On Capabilities of Hash Domain Extenders to Preserve Enhanced Security Properties

      • Mohammad Reza Reyhanitabar, Willy Susilo

      Pages 288-299

This book constitutes the refereed proceedings of the 6th International Conference on Provable Security, ProvSec 2012, held in Chengdu, China, in September 2012. The 16 full papers and 4 short papers presented were carefully reviewed and selected from 66 submissions. The papers are grouped in topical sections on signature schemes, foundations, leakage resilence and key escrow, encryption schemes, and information theoretical security.

• bilinear groups
• ciphers
• identity-based signature
• public key schemes
• random oracles

• Kyushu University, Institute of Mathematics for Industry, Japan

  Tsuyoshi Takagi

• School of Computer Science & Software Engineering, University of Wollongong, Wollongong, Australia

  Guilin Wang

• University of Electronic Science and Technology of China, Chendu, China

  Zhiguang Qin

• School of Computer Science and Engineering, University of Electronic Science and Technology of China, China

  Shaoquan Jiang

• University of Electronic Science and Technology of China, Chengdu, China

  Yong Yu

Policies and ethics