ProvSec: Provable Security

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2018 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
ProvSec 2017 The 11th International Conference on Provable Security
Oct 23, 2017 - Oct 25, 2017 Xi'an Jun 17, 2017
ProvSec 2015 The 9th International Conference on Provable Security
Nov 24, 2014 - Nov 26, 2014 Kanazawa, Japan Jul 4, 2014
ProvSec 2014 The Eighth International Conference on Provable Security
Oct 9, 2014 - Oct 10, 2014 Hong Kong Jun 20, 2014
ProvSec 2013 The Seventh International Conference on Provable Security (ProvSec 2013)
Oct 23, 2013 - Oct 25, 2013 Melaka, Malaysia May 23, 2013
ProvSec 2011 Conference on Provable Security
Aug 16, 2011 - Aug 18, 2011 Xi'an, China May 1, 2011
 
 

Present CFP : 2017

General Information:
Provable security is an important research area in modern cryptography. Cryptographic primitives or protocols without a rigorous proof cannot be regarded as secure in practice. In fact, there are many schemes that were originally thought as secure but eventually broken, which clearly indicates the need of formal security assurance. With provable security, we are confident in using cryptographic schemes and protocols in various real-world applications. Meanwhile, 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 conference thus provides a platform for researchers, scholars and practitioners to exchange new ideas for solving these problems in the provable security area.

Conference Topics:
All aspects of provable security for cryptographic primitives or protocols, include but are not limited to the following areas:
• Asymmetric provably secure cryptography
• Cryptographic primitives
• Lattice-based security reductions
• Leakage-resilient cryptography
• Pairing-based provably secure cryptography
• Privacy and anonymity technologies
• Provable secure hash functions
• Provable security of key management
• Secure cryptographic protocols and applications
• Security notions, approaches, and paradigms
• Steganography and steganalysis
• Symmetric provably secure cryptography

Publication and Awards:
The conference proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science series (see www.springer.com/lncs). The best paper(s) and best student paper(s) will be selected and awarded a prize.

Special Issues:
We are discussing with some journals for special issues of selected papers published in ProvSec 2017. More details will be announced later.

Important Dates:
Paper submission deadline: June 17(UTC 24:00), 2017
Notification of acceptance: August 3, 2017
Camera ready deadline: August 14, 2017
Conference date: October 23 - 25, 2017

Instructions for authors:
Submitted papers must be original, unpublished, and not submitted to another conference or journal for consideration for publication. Papers must be written in English; they should be at most 15 pages (excluding bibliography and appendices).

At least one author of each accepted paper is required to register for the conference and present the paper.

All submissions will be blind-reviewed. Papers must be anonymous, with no author names, affiliations, acknowledgements, or obvious references. A submitted paper should begin with a title, a short abstract, and a list of keywords.

Clear instructions for the preparation of a final proceedings version will be sent to the authors of accepted papers. Authors are strongly recommended to submit their papers in the standard LNCS format (see the Springer web page http://www.springer.com/computer/lncs?SGWID=0-164-0-0-0 for details).

Papers must be submitted using the EasyChair conference management system at
https://easychair.org/conferences/?conf=provsec2017

Please send any enquiry to: provsec2017@163.com

Stipends:
ProvSec 2017 provides two stipends to help partially cover travel and accommodation expenses for full-time students whose papers are accepted and presented at ProvSec 2017. More information about stipends, including instructions about how to apply, will appear at the conference website.
 

Related Resources

TheWebConf 2018   The Web Conference (The International World Wide Web Conference - WWW2018)
Smart-City-IoT-Security 2017   Special Issue on Security of IoT-enabled Infrastructures in Smart Cities
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference
IoTBDS 2018   3rd International Conference on Internet of Things, Big Data and Security
IEEE - ICCC 2017   3rd IEEE International Conference on Computer and Communications
FI-IoTSP 2018   Future Internet Journal: Special Issue on IoT Security and Privacy
IJMSA 2017   International Journal of Modeling, Simulation and Applications
TrustCom 2018   The 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications
AAMAS 2018   International Conference on Autonomous Agents and Multiagent Systems (AAMAS-18)
Future_Internet-SI 2017   Futute Internet - Special Issue on Security and Privacy in Wireless and Mobile Networks