Provable Security

1. Front Matter

   PDF

2. Invited Paper

   1. Password-Based Authenticated Key Exchange: An Overview

      • Michel Abdalla

      Pages 1-9

3. Fundamental

   1. Adaptive versus Static Security in the UC Model

      • Ivan Damgård, Jesper Buus Nielsen

      Pages 10-28

   2. Impossibility of Surjective Icart-Like Encodings

      • Mehdi Tibouchi

      Pages 29-39

4. Symmetric Key Encryption

   1. On the Practical Security Bound of GF-NLFSR Structure with SPN Round Function

      • Guangyao Zhao, Lei Cheng, Chao Li, Ruilin Li, Xuan Shen

      Pages 40-54

   2. Misuse-Resistant Variants of the OMD Authenticated Encryption Mode

      • Reza Reyhanitabar, Serge Vaudenay, Damian Vizár

      Pages 55-70

   3. A Block-Cipher-Based Hash Function Using an MMO-Type Double-Block Compression Function

      • Shoichi Hirose, Hidenori Kuwakado

      Pages 71-86

5. Authentication

   1. Forward-Secure Sequential Aggregate Message Authentication Revisited

      • Shoichi Hirose, Hidenori Kuwakado

      Pages 87-102

   2. A Provable Secure Batch Authentication Scheme for EPCGen2 Tags

      • Jiageng Chen, Atsuko Miyaji, Chunhua Su

      Pages 103-116

6. Signatures

   1. Generic Transformation to Strongly Existentially Unforgeable Signature Schemes with Leakage Resiliency

      • Yuyu Wang, Keisuke Tanaka

      Pages 117-129

   2. Bounded Pre-image Awareness and the Security of Hash-Tree Keyless Signatures

      • Ahto Buldas, Risto Laanoja, Peeter Laud, Ahto Truu

      Pages 130-145

7. Protocol

   1. Verifiable Computation in Multiparty Protocols with Honest Majority

      • Peeter Laud, Alisa Pankova

      Pages 146-161

8. Public Key Encryption

   1. Lossy Trapdoor Relation and Its Applications to Lossy Encryption and Adaptive Trapdoor Relation

      • Haiyang Xue, Xianhui Lu, Bao Li, Yamin Liu

      Pages 162-177

   2. Compact Public Key Encryption with Minimum Ideal Property of Hash Functions

      • Kazuki Yoneyama, Goichiro Hanaoka

      Pages 178-193

9. Proxy Re-Encryption

   1. RCCA-Secure Multi-use Bidirectional Proxy Re-encryption with Master Secret Security

      • Rongxing Lu, Xiaodong Lin, Jun Shao, Kaitai Liang

      Pages 194-205

   2. Fine-Grained Conditional Proxy Re-Encryption and Application

      • Yanjiang Yang, Haibing Lu, Jian Weng, Youcheng Zhang, Kouichi Sakurai

      Pages 206-222

10. Predicate Encryption

    1. Constructing Subspace Membership Encryption through Inner Product Encryption

       • Shuichi Katsumata, Noboru Kunihiro

       Pages 223-242

    2. Efficient (Anonymous) Compact HIBE from Standard Assumptions

       • Somindu C. Ramanna, Palash Sarkar

       Pages 243-258

11. Attribute-Based Cryptosystem

    1. Computationally Efficient Ciphertext-Policy Attribute-Based Encryption with Constant-Size Ciphertexts

       • Yinghui Zhang, Dong Zheng, Xiaofeng Chen, Jin Li, Hui Li

       Pages 259-273

    2. Attribute-Based Signcryption : Signer Privacy, Strong Unforgeability and IND-CCA2 Security in Adaptive-Predicates Attack

       • Tapas Pandit, Sumit Kumar Pandey, Rana Barua

       Pages 274-290

This book constitutes the refereed proceedings of the 8th International Conference on Provable Security, ProvSec 2012, held in Chengdu, China, in September 2012. The 20 full papers and 7 short papers presented together with 2 invited talks were carefully reviewed and selected from 68 submissions. The papers are grouped in topical sections on fundamental, symmetric key encryption, authentication, signatures, protocol, public key encryption, proxy re-encryption, predicate encryption, and attribute-based cryptosystem.

• access control
• athematical foundations of cryptography
• block and stream ciphers
• cryptanalysis and other attacks
• cryptographic primitives
• cryptographic protocols
• data encryption
• digital signatures
• hash functions
• information-theoretic techniques
• management and querying of encrypted data
• message authentication codes
• privacy-preserving protocols
• pseudonymity, anonymity and untraceability
• public key (asymmetric) techniques
• public key encryption
• symmetric cryptography

• Department of Information Engineering, Chinese University of Hong Kong, Sha Tin, N.T., Hong Kong

  Sherman S. M. Chow

• Institute for Infocomm Research, A*STAR, Singapore, Singapore

  Joseph K. Liu

• Department of Computer Science, The University of Hong Kong, Hong Kong

  Lucas C. K. Hui, Siu Ming Yiu

Policies and ethics