<div dir="ltr">CALL FOR PAPERS<br><br>International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols 2022 (FAVPQC 2022)<br><a href="https://urldefense.com/v3/__https://favpqc2022.gitlab.io/__;!!IBzWLUs!S2p4ITczLBbnOFaBmy9Z26E8dFrvuyFt_rUJHLKTiQccaLWNdWvtnnXZflZl_ZaV0KaWDRQLnNn9xEWkSi3xYE-ooj8nQhq8hJo$">https://favpqc2022.gitlab.io/</a><br><br>This even is an ICFEM 2022 (<a href="https://urldefense.com/v3/__http://maude.ucm.es/ICFEM22/__;!!IBzWLUs!S2p4ITczLBbnOFaBmy9Z26E8dFrvuyFt_rUJHLKTiQccaLWNdWvtnnXZflZl_ZaV0KaWDRQLnNn9xEWkSi3xYE-ooj8nQ4LIZhc$">http://maude.ucm.es/ICFEM22/</a>) satellite workshop, which will be held in Madrid, Spain on October 24, 2022.<br><br>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.<br><br>Due to Covid-19, the workshop may be held in a hybrid style or completely virtual.<br><br>TOPICS OF INTEREST<br><br>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<br>interest include, but are not limited to:<br>- Post-quantum cryptosystems<br>- Post-quantum cryptographic protocols<br>- Logics of quantum computing/algorithms/programs<br>- Formal analysis/verification of those related to the above-mentioned<br><br>PUBLICATION<br><br>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. In addition to regular<br>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 the International Conference on Practical and Theoretical Aspects of Logic, Cyber Security and Cryptography 2022. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to the special issue.<br><br>PAPER SUBMISSIONS<br><br>Submissions must be uploaded to the following EasyChair website:<br><a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=favpqc2022__;!!IBzWLUs!S2p4ITczLBbnOFaBmy9Z26E8dFrvuyFt_rUJHLKTiQccaLWNdWvtnnXZflZl_ZaV0KaWDRQLnNn9xEWkSi3xYE-ooj8nIOhMdrU$">https://easychair.org/conferences/?conf=favpqc2022</a><br><br>IMPORTANT DATES<br><br>- Paper submission due: September 15, 2022 (AoE)<br>- Notification: September 30, 2022<br>- Camera-ready: October 14, 2022<br><br><br>PROGRAM COMMITTEE CO-CHAIRS<br><br>- Sedat Akleylek, Ondokuz Mayis University, Turkey (co-chair)<br>- Santiago Escobar, Polytechnic University of Valencia, Spain (co-chair)<br>- Kazuhiro Ogata, Japan Advanced Institute of Science and Technology,<br>Japan (co-chair)<br>- Ayoub Otmani, University of Rouen Normandie, France (co-chair)<br><br>TBA for the other Program Committee members.<br><br>PUBLICITY CHAIR<br><br>- Duong Dinh Tran, Japan Advanced Institute of Science and Technology, Japan (<a href="mailto:duongtd@jaist.ac.jp">duongtd@jaist.ac.jp</a>)<br></div>