Advertisement

Provable Security

Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings

  • Joonsang Baek
  • Feng Bao
  • Kefei Chen
  • Xuejia Lai
Conference proceedings ProvSec 2008

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

Table of contents

  1. Front Matter
    PDF

  2. Encryption

    1. Generalized ElGamal Public Key Cryptosystem Based on a New Diffie-Hellman Problem
      Huawei Huang, Bo Yang, Shenglin Zhu, Guozhen Xiao
      Pages 1-21
    2. Tweakable Pseudorandom Permutation from Generalized Feistel Structure
      Atsushi Mitsuda, Tetsu Iwata
      Pages 22-37
    3. Timed-Release Encryption Revisited
      Sherman S. M. Chow, S. M. Yiu
      Pages 38-51
    4. Efficient and Provably Secure Certificateless Multi-receiver Signcryption
      S. Sharmila Deva Selvi, S. Sree Vivek, Deepanshu Shukla, Pandu Rangan Chandrasekaran
      Pages 52-67
    5. A CCA Secure Hybrid Damgård’s ElGamal Encryption
      Yvo Desmedt, Duong Hieu Phan
      Pages 68-82

  3. Signature

    1. Construction of Yet Another Forward Secure Signature Scheme Using Bilinear Maps
      Jia Yu, Fanyu Kong, Xiangguo Cheng, Rong Hao, Guowen Li
      Pages 83-97
    2. Optimal Online/Offline Signature: How to Sign a Message without Online Computation
      Fuchun Guo, Yi Mu
      Pages 98-111
    3. Round-Optimal Blind Signatures from Waters Signatures
      Kristian Gjøsteen, Lillian Kråkmo
      Pages 112-126
    4. Secure Proxy Multi-signature Scheme in the Standard Model
      Zhenhua Liu, Yupu Hu, Hua Ma
      Pages 127-140
    5. Server-Aided Verification Signatures: Definitions and New Constructions
      Wei Wu, Yi Mu, Willy Susilo, Xinyi Huang
      Pages 141-155

  4. Analysis

    1. On Proofs of Security for DAA Schemes
      Liqun Chen, Paul Morrissey, Nigel P. Smart
      Pages 156-175
    2. Cryptanalysis of Vo-Kim Forward Secure Signature in ICISC 2005
      Jia Yu, Fanyu Kong, Xiangguo Cheng, Rong Hao, Guowen Li
      Pages 176-184
    3. Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups
      Zhengqin Luo
      Pages 185-199
    4. On the Equivalence of Generic Group Models
      Tibor Jager, Jörg Schwenk
      Pages 200-209
    5. The Analysis of an Efficient and Provably Secure ID-Based Threshold Signcryption Scheme and Its Secure Version
      ZhenChao Zhu, Yuqing Zhang, Fengjiao Wang
      Pages 210-225

  5. Application of Hash Functions

    1. Leaky Random Oracle (Extended Abstract)
      Kazuki Yoneyama, Satoshi Miyagawa, Kazuo Ohta
      Pages 226-240
    2. How to Use Merkle-Damgård — On the Security Relations between Signature Schemes and Their Inner Hash Functions
      Emmanuel Bresson, Benoît Chevallier-Mames, Christophe Clavier, Aline Gouget, Pascal Paillier, Thomas Peyrin
      Pages 241-253
    3. Can We Construct Unbounded Time-Stamping Schemes from Collision-Free Hash Functions?
      Ahto Buldas, Margus Niitsoo
      Pages 254-267

  6. Universal Composability

    1. Relationship of Three Cryptographic Channels in the UC Framework
      Waka Nagao, Yoshifumi Manabe, Tatsuaki Okamoto
      Pages 268-282
    2. A Universally Composable Framework for the Analysis of Browser-Based Security Protocols
      Sebastian Gajek
      Pages 283-297
    3. Threshold Homomorphic Encryption in the Universally Composable Cryptographic Library
      Peeter Laud, Long Ngo
      Pages 298-312
    4. Universally Composable Security Analysis of TLS
      Sebastian Gajek, Mark Manulis, Olivier Pereira, Ahmad-Reza Sadeghi, Jörg Schwenk
      Pages 313-327
    5. Round Optimal Universally Composable Oblivious Transfer Protocols
      Huafei Zhu
      Pages 328-334

  7. Applications

    1. A Tamper-Evident Voting Machine Resistant to Covert Channels
      Wei Han, Tao Hao, Dong Zheng, Kefei Chen, Xiaofeng Chen
      Pages 335-344
    2. Self-healing Key Distribution with Revocation and Resistance to the Collusion Attack in Wireless Sensor Networks
      Wei Du, Mingxing He
      Pages 345-359
  8. Back Matter
    PDF

About these proceedings

Introduction

This book constitutes the refereed proceedings of the Second International Conference on Provable Security, ProvSec 2008, held in Shanghai, China, October 30 - November 1, 2008.

The 25 revised full papers presented were carefully reviewed and selected from 79 submissions. The papers are organized in topical sections on Encryption, Signature, Analysis, Application of Hash Functions, Universal Composability, and Applications.

Keywords

Permutation Symbol calculus cryptanalysis damgard diffie-hellman merkle pgp pseudorandom public key signcryption symbolic analysis tls

Editors and affiliations

  • Joonsang Baek
    • 1
  • Feng Bao
    • 2
  • Kefei Chen
    • 3
  • Xuejia Lai
    • 3
  1. 1.Cryptography and Security Department Institute for Infocomm ResearchSingapore
  2. 2.Institute for Infocomm ResearchSingapore
  3. 3.Department of Computer Science and EngineeringShanghai Jiao Tong UniversityShanghaiChina

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-88733-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-88732-4
  • Online ISBN 978-3-540-88733-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site