International Conference on Provable Security 2007

ProvSec 2007

http://www.uow.edu.au/conferences/Provsec%202007/index.html

31 October - 2 November, 2007, Wollongong, Australia

Provable Security is an important research area in cryptography. Cryptographic primitives or protocols without a rigorous proof cannot be regarded as secure in practice. There are many schemes that are originally thought as secure being successfully cryptanalyzed, which clearly indicates the need of formal security assurance. With provable security, we are confident in using cryptographic applications to replace the traditional way in physical world. Unfortunately, schemes with provable security sometimes give only theoretical feasibility rather than a practical construction, and correctness of the proofs may be difficult to verify. ProvSec '07 provides a platform for researchers, scholars and practitioners to exchange new ideas for solving these problems in the provable security area.

ProvSec 07 supersedes ACIS (Applied Cryptography and Information Security) 06 which was held in Glasgow, UK at May 2006. We change our title because we believe that formal proof is important to assure the security when cryptographic schemes are applied in practice.

Topics include all aspects of provable security for cryptographic primitives or protocols, and include but are not limited to the following areas: 

Identity-based cryptography

Certificate-based cryptography

Certificateless cryptography
PKI Cryptographic primitives

Provable Secure Hash functions

Provable Secure Block ciphers

Digital signatures
Key exchange protocols
Asymmetric key encryption

Authentication

Electronic Cash

Electronic Voting

Security model

Submissions must not substantially duplicate work that any of the authors has published elsewhere or has submitted in parallel for consideration of any other journal, conference/workshop with proceedings. Submissions should have at most 12 pages excluding the bibliography and appendices, and at most 20 pages in total, using at least 11-point fonts and with reasonable margins. Papers must be formatted according to the LNCS rules. All submissions should be anonymous. Authors of accepted papers must guarantee that at least one of the authors will attend the conference and present their paper.

All accepted papers will be published in Springer-Verlag's Lecture Notes in Computer Science (LNCS) series.

Important Dates:

Paper submission deadline: Notification of acceptance: Camera ready papers due:

11 May 26 May 2007 5 July 10 July 2007 31 July 2007

General Chair:

Yi Mu                            University of Wollongong, Australia

Program Co-Chairs:

Joseph K. Liu Willy Susilo

University of Bristol, United Kingdom University of Wollongong, Australia

Organizing Committee:

Man Ho Au Xinyi Huang

University of Wollongong, Australia University of Wollongong, Australia

Program Committee:

Joonsang Baek  Feng Bao   Emmanuel Bresson  Xavier Boyen Liqun Chen  Kim-Kwang Raymond Choo Sherman S. M. Chow  Nelly Fazio Dengguo Feng  David Galindo  Craig Gentry  Swee-Huay Heng  Marc Joye  Eike Kiltz   Kwangjo Kim   Fabien Laguillaumie  Benoit Libert   Joseph K. Liu (Program Co-Chair) Javier Lopez   Atsuko Miyaji   Yi Mu (General Chair)  Chanathip Namprempre                  Miyako Ohkubo Tatsuaki Okamoto  Juanma Gonzalez Nieto  Duong Hieu Phan Raphael C. W. Phan Josef Pieprzyk   Pascal Paillier David Pointcheval  Jean-Jacques Quisquater Rei Safavi-Naini Palash Sarkar  Alice Silverberg    Martijn Stam    Ron Steinfeld   Willy Susilo (Program Co-Chair)      Tsuyoshi Takagi   Damien Vergnaud   Huaxiong Wang     Duncan S. Wong     Fangguo Zhang

Institute for Infocomm Research, Singapore Institute for Infocomm Research, Singapore CELAR, France Voltage Inc., Palo Alto, USA Hewlett-Packard Laboratories, UK Australian Institute of Criminology, Australia New York University, USA IBM Almaden Research Centre, USA Chinese Academy of Sciences, China University of Nijmegen, Netherlands Stanford University, USA Multimedia University, Malaysia Thomson R&D, France CWI, Netherlands ICU, Korea University of Caen, France UCL, Belgium University of Bristol, United Kingdom University of Malaga, Spain Japan Advanced Institute of Science and Technology, Japan University of Wollongong, Australia Thammasat University, Thailand Information-Technology Promotion Agency, Japan NTT Labs, Japan Queensland University of Technology, Australia France Telecom R&D EPFL, Switzerland Macquarie University, Australia Gemplus, Security Technology Department, France CNRS and ENS, France UCL CryptoGroup, Belgium University of Calgary, Canada Indian Statistical Institute, India U. C. Irvine, USA EPFL, Switzerland Macquarie University, Australia University of Wollongong, Australia Future University-Hakodate, Japan b-it, Computer Security Group (Bonn) Nanyang Technological University, Singapore City University of Hong Kong, China Sun Yat-sen University, China