International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols
FAVPQC 2022
- URL: https://favpqc2022.gitlab.io/
- Event Date: 2022-10-24 ~ 2022-10-24
- Submission Date: 2022-09-15
Computer Security & Cryptography Security & Trust & Testing
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
Journal Promotion
|
| Acta Koreana (Acta Koreana) |
|
| Acta Via Serica (AVS) |
|
| Computers and Concrete (CAC) |
|
| Journal of Information Processing Systems (JIPS) |
|
| Journal of Internet Computing and Services (KSII - JICS) |
|
| Journal of Smart Tourism (Smart Tourism) |
|
| Membrane and Water Treatment (MWT) |
|
| Wind and Structures, An International Journal (Wind and Structures) |
MANUSCRIPTLINK © 2015 -
