Provable Security

4th International Conference, ProvSec 2010, Malacca, Malaysia, October 13-15, 2010. Proceedings

  • Swee-Huay Heng
  • Kaoru Kurosawa
Conference proceedings ProvSec 2010

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6402)

Table of contents

  1. Front Matter
  2. Identification

    1. Pierre-Louis Cayrel, Richard Lindner, Markus Rückert, Rosemberg Silva
      Pages 1-17
  3. Auto Proofs

    1. David Nowak, Yu Zhang
      Pages 35-52
    2. Long Ngo, Colin Boyd, Juan González Nieto
      Pages 53-69
  4. Signature I

  5. Hash Function

    1. Ewan Fleischmann, Christian Forler, Michael Gorski, Stefan Lucks
      Pages 102-118
    2. Juraj Šarinay
      Pages 119-132
  6. Protocol

    1. Thomas Baignères, Pouyan Sepehrdad, Serge Vaudenay
      Pages 144-165
  7. Signature II

  8. Invited Talk

  9. Encryption

  10. Signcryption

    1. S. Sharmila Deva Selvi, S. Sree Vivek, C. Pandu Rangan
      Pages 244-260
    2. Javier Herranz, Alexandre Ruiz, Germán Sáez
      Pages 261-278
  11. Back Matter

About these proceedings


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

Editors and affiliations

  • Swee-Huay Heng
    • 1
  • Kaoru Kurosawa
    • 2
  1. 1.Faculty of Information Science and Technology, Jalan Ayer Keroh LamaMultimedia UniversityMalaccaMalaysia
  2. 2.Department of Computer and Information SciencesIbaraki UniversityHitachiJapan

Bibliographic information

Industry Sectors
IT & Software
Finance, Business & Banking