Provable Security

1. Front Matter

   PDF

2. Identification

   1. Improved Zero-Knowledge Identification with Lattices

      • Pierre-Louis Cayrel, Richard Lindner, Markus Rückert, Rosemberg Silva

      Pages 1-17

   2. Identification Schemes of Proofs of Ability Secure against Concurrent Man-in-the-Middle Attacks

      • Hiroaki Anada, Seiko Arita

      Pages 18-34

3. Auto Proofs

   1. A Calculus for Game-Based Security Proofs

      • David Nowak, Yu Zhang

      Pages 35-52

   2. Automating Computational Proofs for Public-Key-Based Key Exchange

      • Long Ngo, Colin Boyd, Juan González Nieto

      Pages 53-69

4. Signature I

   1. A Framework for Constructing Convertible Undeniable Signatures

      • Ryo Kikuchi, Le Trieu Phong, Wakaha Ogata

      Pages 70-86

   2. Efficient Confirmer Signatures from the “Signature of a Commitment” Paradigm

      • Laila El Aimani

      Pages 87-101

5. Hash Function

   1. Collision Resistant Double-Length Hashing

      • Ewan Fleischmann, Christian Forler, Michael Gorski, Stefan Lucks

      Pages 102-118

   2. Interpreting Hash Function Security Proofs

      • Juraj Šarinay

      Pages 119-132

6. Protocol

   1. Formal and Precise Analysis of Soundness of Several Shuffling Schemes

      • Kun Peng, Feng Bao

      Pages 133-143

   2. Distinguishing Distributions Using Chernoff Information

      • Thomas Baignères, Pouyan Sepehrdad, Serge Vaudenay

      Pages 144-165

7. Signature II

   1. A Suite of Non-pairing ID-Based Threshold Ring Signature Schemes with Different Levels of Anonymity (Extended Abstract)

      • Patrick P. Tsang, Man Ho Au, Joseph K. Liu, Willy Susilo, Duncan S. Wong

      Pages 166-183

   2. An Anonymous Designated Verifier Signature Scheme with Revocation: How to Protect a Company’s Reputation

      • Keita Emura, Atsuko Miyaji, Kazumasa Omote

      Pages 184-198

8. Invited Talk

   1. Cryptographic Protocols from Lattices

      • Eike Kiltz

      Pages 199-199

9. Encryption

   1. A Timed-Release Proxy Re-encryption Scheme and Its Application to Fairly-Opened Multicast Communication

      • Keita Emura, Atsuko Miyaji, Kazumasa Omote

      Pages 200-213

   2. Efficient Broadcast Encryption with Personalized Messages

      • Go Ohtake, Goichiro Hanaoka, Kazuto Ogawa

      Pages 214-228

   3. Toward an Easy-to-Understand Structure for Achieving Chosen Ciphertext Security from the Decisional Diffie-Hellman Assumption

      • Shota Yamada, Goichiro Hanaoka, Noboru Kunihiro

      Pages 229-243

10. Signcryption

    1. Identity Based Public Verifiable Signcryption Scheme

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

       Pages 244-260

    2. Fully Secure Threshold Unsigncryption

       • Javier Herranz, Alexandre Ruiz, Germán Sáez

       Pages 261-278

11. Back Matter

    PDF

This book constitutes the proceedings of the 4th provable security conference held in Malacca, Malaysia in October 2010.


The 17 papers presented were carefully reviewed and selected from 47 submissions. The papers are divided in topical sections on identification, auto proofs, signature, hash function, protocol, encryption, and signcryption.

• anonymity
• block ciphers
• calculus
• cryptographic protocols
• cryptography
• digital signatures
• formal security models
• hash function
• hash functions
• lattice-based security
• pairing
• privacy
• provable securi
• secure block ciphers
• security
• algorithm analysis and problem complexity

• Faculty of Information Science and Technology, Jalan Ayer Keroh Lama, Multimedia University, Malacca, Malaysia

  Swee-Huay Heng

• Department of Computer and Information Sciences, Ibaraki University, Hitachi, Japan

  Kaoru Kurosawa

Policies and ethics