Authors are invited to submit original research papers on provable and practical security. Areas of interest include, but are not limited to:

* Provable security for asymmetric cryptography
* Provable security for symmetric cryptography
* Provable security for physical attacks
* Privacy and anonymity technologies
* Secure cryptographic protocols and applications
* Security notions, approaches, and paradigms
* Leakage-resilient cryptography
* Lattice-based cryptography and post-quantum cryptography
* Steganography and steganalysis
* Blockchain and cryptocurrency
* IoT security
* Cloud security
* Access control
* Privacy-enhancing technologies
* Database security
* Big data security and privacy
* Biometric security
* Network security
* Formal methods for security
* Embedded systems security
* Lightweight security
* Cyber-physical security

Instructions for Authors

All submissions should use the Springer LNCS format. The final camera-ready version must be at most 20 pages (with at most 4 more pages with charging ) excluding the bibliography, well-marked appendices, and supplementary material. Details on the Springer LNCS format can be obtained here. Authors should not change the font or the margins of the LNCS format. There is no page limit on the appendices and supplementary material. Note that reviewers are not required to read the appendices or any supplementary material. It is strongly encouraged that submissions are processed in LaTeX. All submissions must have page numbers.

All submissions must have page numbers. All submissions will be blind-refereed and thus must be anonymous, with no author names, affiliations, acknowledgements, or obvious references. Submissions must be submitted electronically in PDF format. Submissions must not substantially duplicate work that any of the authors has published elsewhere or has submitted in parallel to a journal or any other conference/workshop that has proceedings. Accepted submissions may not appear in any other conference or workshop that has proceedings. Submissions not meeting these guidelines risk rejection without consideration of their merits.

Submission Guidelines

Accepted papers will be included in conference proceedings of Lecture Notes in Data Engineering and Communication Technologies series published by Springer. Proceedings will be sent by Springer for indexing in EI and SCOPUS. Authors of accepted papers will be given instructions for submission of camera ready and copyright form. Please submit the paper using the following URL:

https://easychair.org/conferences/?conf=provsec2023

Special Issues

Presented papers at ProvSec2023 will be considered for publication in some Special Issues in International Journals.

- Journal of System Architecture
- Journal of Information Security and Applications
- Applied Science

Important Dates:

Proceedings including all accepted papers will be available at the conference, and the best papers will be selected for special issues. If you have any question, please feel free to contact Organizational Committee (provsec2023@gmail.com).