Call for Papers
INTERNATIONAL WORKSHOP ON FORMAL ANALYSIS AND VERIFICATION OF POST-QUANTUM CRYPTOGRAPHIC PROTOCOLS 2022
This workshop will be held as an ICFEM 2022 (http://maude.ucm.es/ICFEM22/) satellite workshop, Madrid, Spain, October 24, 2022.
It is known that the most popular public-key cryptosystems used today will become insecure once sufficient strong quantum computers become available. To prepare for information security in the quantum computing era, post-quantum cryptosystems that are resistant to attacks from quantum computers have been built as replacements for the classical ones. Security verification of those post-quantum cryptographic protocols has got extensive attention from cryptography and security research groups in recent years.
Note that due to Covid-19, the workshop may be held in a hybrid style or completely virtual.
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 cryptsystems
- Post-quantum cryptographic protocols
- Logics of quantum computing/algorithms/programs
- Formal analysis/verification of those related to the above-mentioned
Proceedings shall be submitted to CEUR-WS.org (http://ceur-ws.org/) for online publication. Therefore, authors are supposed to use the CEUR-ART template style for preparing papers. 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. We plan a joint special issue of a reputable journal together with International Conference on Practical and Theoretical Aspects of Logic, Cyber Security and Cryptography 2022 (https://cs.omu.edu.tr/blacksea2022/). The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to the special issue.
Submissions must be uploaded to the following EasyChair website:
- Paper submission due: September 15, 2022 (AoE)
- Notification: September 30, 2022
- Camera-ready: October 14, 2022
Duong Dinh Tran
Email: [email protected]
FAVPQC 2022 : International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols will take place in TBD. It’s a 1 day event starting on Oct 24, 2022 (Monday) and will be winded up on Oct 24, 2022 (Monday).
FAVPQC 2022 falls under the following areas: COMPUTER SCIENCE, CRYPTOGRAPHY, SECURITY, VERIFICATION, etc. Submissions for this Workshop can be made by Sep 15, 2022. Authors can expect the result of submission by Sep 30, 2022. Upon acceptance, authors should submit the final version of the manuscript on or before Oct 14, 2022 to the official website of the Workshop.
Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.
Other Details of the FAVPQC 2022
Credits and Sources
| FAVPQC 2022 : International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols|