Provable Security

1. Front Matter

   PDF

2. Invited Talks

   1. A Brief History of Security Models for Confidentiality

      • Alexander W. Dent

      Pages 1-1

   2. Symbolic Methods for Provable Security

      • Bogdan Warinschi

      Pages 2-2

3. Encryption

   1. Efficient Non-interactive Universally Composable String-Commitment Schemes

      • Ryo Nishimaki, Eiichiro Fujisaki, Keisuke Tanaka

      Pages 3-18

   2. Spatial Encryption under Simpler Assumption

      • Muxin Zhou, Zhenfu Cao

      Pages 19-31

   3. Chosen-Ciphertext Secure RSA-Type Cryptosystems

      • Benoît Chevallier-Mames, Marc Joye

      Pages 32-46

   4. Anonymous Conditional Proxy Re-encryption without Random Oracle

      • Liming Fang, Willy Susilo, Jiandong Wang

      Pages 47-60

   5. Breaking and Fixing of an Identity Based Multi-Signcryption Scheme

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

      Pages 61-75

4. Digital Signatures

   1. Identity-Based Verifiably Encrypted Signatures without Random Oracles

      • Lei Zhang, Qianhong Wu, Bo Qin

      Pages 76-89

   2. How to Prove Security of a Signature with a Tighter Security Reduction

      • Fuchun Guo, Yi Mu, Willy Susilo

      Pages 90-103

   3. Twin Signature Schemes, Revisited

      • Sven Schäge

      Pages 104-117

   4. On the Insecurity of the Fiat-Shamir Signatures with Iterative Hash Functions

      • Eiichiro Fujisaki, Ryo Nishimaki, Keisuke Tanaka

      Pages 118-128

   5. Is the Notion of Divisible On-Line/Off-Line Signatures Stronger than On-Line/Off-Line Signatures?

      • Man Ho Au, Willy Susilo, Yi Mu

      Pages 129-139

   6. Anonymous Signatures Revisited

      • Vishal Saraswat, Aaram Yun

      Pages 140-153

5. Cryptographic Protocols

   1. An eCK-Secure Authenticated Key Exchange Protocol without Random Oracles

      • Daisuke Moriyama, Tatsuaki Okamoto

      Pages 154-167

   2. Password Authenticated Key Exchange Based on RSA in the Three-Party Settings

      • E. Dongna, Qingfeng Cheng, Chuangui Ma

      Pages 168-182

   3. Comparing SessionStateReveal and EphemeralKeyReveal for Diffie-Hellman Protocols

      • Berkant Ustaoglu

      Pages 183-197

   4. Zero-Knowledge Protocols for NTRU: Application to Identification and Proof of Plaintext Knowledge

      • Keita Xagawa, Keisuke Tanaka

      Pages 198-213

   5. Server-Controlled Identity-Based Authenticated Key Exchange

      • Hua Guo, Yi Mu, Xiyong Zhang, Zhoujun Li

      Pages 214-229

6. Reductions and Privacy

   1. Oracle Separation in the Non-uniform Model

      • Ahto Buldas, Sven Laur, Margus Niitsoo

      Pages 230-244

This book constitutes the refereed proceedings of the Third International Conference on Provable Security, ProvSec 2009, held in Guangzhou, China, November 11-13, 2009. The 19 revised full papers and two invited talks presented were carefully reviewed and selected from 64 submissions. The papers are organized in topical sections on encryption, digital signature, cryptographic protocols and reduction and privacy.

• Symbol
• anonymity
• cryptographic protocols
• cryptography
• digital signatures
• hash function
• hash functions
• pairing
• privacy
• secure block ciphers
• security
• security models
• steganography

• Department of Computing, Macquarie University, Sydney, Australia

  Josef Pieprzyk

• School of Information Science and Technology, Sun Yat-Sen University, Guangzhou, P.R.China

  Fangguo Zhang

Policies and ethics