|
|
|
| |||||||||||||||
FAVPQC 2022 : International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols | |||||||||||||||
| Link: https://favpqc2022.gitlab.io/ | |||||||||||||||
| |||||||||||||||
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 PUBLICATION 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. PAPER SUBMISSIONS Submissions must be uploaded to the following EasyChair website: https://easychair.org/conferences/?conf=favpqc2022 - Paper submission due: September 15, 2022 (AoE) - Notification: September 30, 2022 - Camera-ready: October 14, 2022 CONTACT US Duong Dinh Tran Email: duongtd@jaist.ac.jp |
|
