Topics of Interest
Authors are invited to submit papers describing original and unpublished work somehow related to formal analysis and verification of post-quantum cryptographic protocols. Topics of interest include, but are not limited to:
- Post-quantum cryptosystems
- Post-quantum cryptographic protocols
- Logics of quantum computing/algorithms/programs
- Formal analysis/verification of those related to the above-mentioned
Publication
Proceedings shall be submitted to CEUR-WS.org for online publication. Therefore, authors are supposed to use the CEUR-ART template style for preparing papers. From the CEUR preparation guide, authors can find and download the CEUR-ART template style (also available on Overleaf). Authors need to use the Latex 1-column style. In addition to regular papers (12 - 16 pages), authors are also recommended to submit short papers (6 - 8 pages), such as work-in-progress ones and tool demonstration ones. Papers submitted as regular papers may be accepted as short papers.
Special issue submission invitation
We plan a special issue of FAVPQC at PeerJ Computer Science (Q1 for 2017-2019, Q2 for 2020). On behalf of the Organising Committee, we are pleased to offer you the opportunity to submit your full research papers to the collection "Practical and Theoretical Aspects of Logic, Cyber Security and Cryptography", which will be published in the journal PeerJ Computer Science. See the homepage here: https://peerj.com/special-issues/117-logic-cs-crypt.
Once published, this collection will become a highly-visible showcase of the most recent research focused on Logic, Cyber Security and Cryptography.
Authors wishing to be included should read the PeerJ Computer Science author instructions and then submit via https://peerj.com/new/. Please include "Submitted to the Logic, Cyber Security and Cryptography Collection - PJCS-COLL-LCSC" in the Confidential Note to Staff field of the submission form.
The deadline for submissions is January 20, 2023.
If accepted for publication, authors will be required to pay either an Article Processing Charge or a PeerJ Lifetime Membership, please see https://peerj.com/pricing/ for details.
Paper submissions
- Paper submission due:
September 15,September 22, 2022 (AoE) - Notification:
September 30,October 13, 2022 - Camera-ready:
October 14,October 18, 2022