Provable Security

1. Front Matter

   PDF

2. Invited Talk

   1. On Modeling Terrorist Frauds

      • Serge Vaudenay

      Pages 1-20

3. Key Exchange Protocols

   1. Authenticated Key Exchange Protocols Based on Factoring Assumption

      • Hai Huang

      Pages 21-37

   2. Efficient, Pairing-Free, Authenticated Identity Based Key Agreement in a Single Round

      • S. Sree Vivek, S. Sharmila Deva Selvi, Layamrudhaa Renganathan Venkatesan, C. Pandu Rangan

      Pages 38-58

   3. CIL Security Proof for a Password-Based Key Exchange

      • Cristian Ene, Clémentine Gritti, Yassine Lakhnech

      Pages 59-85

4. Security Models

   1. Non Observability in the Random Oracle Model

      • Prabhanjan Ananth, Raghav Bhaskar

      Pages 86-103

   2. Indistinguishability against Chosen Ciphertext Verification Attack Revisited: The Complete Picture

      • Angsuman Das, Sabyasachi Dutta, Avishek Adhikari

      Pages 104-120

   3. Input-Aware Equivocable Commitments and UC-secure Commitments with Atomic Exchanges

      • Ioana Boureanu, Serge Vaudenay

      Pages 121-138

   4. Towards Anonymous Ciphertext Indistinguishability with Identity Leakage

      • Tsz Hon Yuen, Cong Zhang, Sherman S. M. Chow, Joseph K. Liu

      Pages 139-153

5. Signature and Signcryption Schemes

   1. k-time Proxy Signature: Formal Definition and Efficient Construction

      • Weiwei Liu, Guomin Yang, Yi Mu, Jiannan Wei

      Pages 154-164

   2. Anonymous Signcryption against Linear Related-Key Attacks

      • Hui Cui, Yi Mu, Man Ho Au

      Pages 165-183

6. Authenticated Encryption

   1. Improved Authenticity Bound of EAX, and Refinements

      • Kazuhiko Minematsu, Stefan Lucks, Tetsu Iwata

      Pages 184-201

   2. The Security of the OCB Mode of Operation without the SPRP Assumption

      • Kazumaro Aoki, Kan Yasuda

      Pages 202-220

   3. A Short Universal Hash Function from Bit Rotation, and Applications to Blockcipher Modes

      • Kazuhiko Minematsu

      Pages 221-238

7. Theory

   1. How to Remove the Exponent GCD in HK09

      • Xianhui Lu, Bao Li, Yamin Liu

      Pages 239-248

   2. Translation-Randomizable Distributions via Random Walks

      • Nirattaya Khamsemanan, William E. Skeith III

      Pages 249-270

8. Public Key Encryption

   1. RKA Secure PKE Based on the DDH and HR Assumptions

      • Dingding Jia, Xianhui Lu, Bao Li, Qixiang Mei

      Pages 271-287

   2. Computationally Efficient Dual-Policy Attribute Based Encryption with Short Ciphertext

      • Y. Sreenivasa Rao, Ratna Dutta

      Pages 288-308

   3. Factoring-Based Proxy Re-Encryption Schemes

      • Toshiyuki Isshiki, Manh Ha Nguyen, Keisuke Tanaka

      Pages 309-329

   4. Towards a Secure Certificateless Proxy Re-Encryption Scheme

      • Hui Guo, Zhenfeng Zhang, Jiang Zhang, Cheng Chen

      Pages 330-346

This book constitutes the refereed proceedings of the 7th International Conference on Provable Security, ProvSec 2013, held in Melaka, Malaysia, in October 2013. The 18 full papers presented together with 1 invited talk were carefully reviewed and selected from 44 submissions. The papers cover the following topics: key exchange protocols, security models, signature and signcryption schemes, authenticated encryption, theory, and public key encryption.

• authentication
• ciphers
• computational efficiency
• re-encryption schemes
• verification attack

• Centre for Computer and Information Security Research, School of Computer Science and Software Engineering, University of Wollongong, Wollongong, Australia

  Willy Susilo

• École Polytechnique Fédérale de Lausanne, Lausanne, Switzerland

  Reza Reyhanitabar

Policies and ethics