posted by organizer: duongtd || 2975 views || tracked by 2 users: [display]

FAVPQC 2022 : International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols

FacebookTwitterLinkedInGoogle

Link: https://favpqc2022.gitlab.io/
 
When Oct 24, 2022 - Oct 24, 2022
Where TBD
Submission Deadline Sep 15, 2022
Notification Due Sep 30, 2022
Final Version Due Oct 14, 2022
Categories    computer science   cryptography   security   verification
 

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


Related Resources

ATVA 2024   22nd International Symposium on Automated Technology for Verification and Analysis
IEEE COINS 2024   IEEE COINS 2024 - London, UK - July 29-31 - Hybrid (In-Person & Virtual)
AREA 2024   4th Workshop on Agents and Robots for reliable Engineered Autonomy
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
FAACS 2024   The 8th International Workshop on Formal Approaches for Advanced Computing Systems
GreeNet Symposium - SGNC 2024   15th Symposium on Green Networking and Computing (SGNC 2024)
LearnAut 2024   Learning and Automata
CVIV 2024   2024 6th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2024) -EI Compendex