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

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-642-16280-0
  • Copyright Information Springer Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-16279-4
  • Online ISBN 978-3-642-16280-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book