IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools
FAVPQC 2022 : International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols
FAVPQC 2022 : International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols

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

TBD
Event Date: October 24, 2022 - October 24, 2022
Submission Deadline: September 15, 2022
Notification of Acceptance: September 30, 2022
Camera Ready Version Due: October 14, 2022




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: [email protected]




Summary

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

  • Short Name: FAVPQC 2022
  • Full Name: International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols
  • Timing: 09:00 AM-06:00 PM (expected)
  • Fees: Check the official website of FAVPQC 2022
  • Event Type: Workshop
  • Website Link: https://favpqc2022.gitlab.io/
  • Location/Address: TBD


Credits and Sources

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


Check other Conferences, Workshops, Seminars, and Events


OTHER COMPUTER SCIENCE EVENTS

WSSE 2024: ACM--2024 The 6th World Symposium on Software Engineering (WSSE 2024)
Kyoto, Japan
Sep 13, 2024
SEC 2024: 10th International Conference on Software Engineering
Melbourne, Australia
Apr 20, 2024
ERSeGEL 2024: Workshop on Extended Reality and Serious Games for Education and Learning
Angers, France
May 2, 2024
UR 2024: 21st International Conference on Ubiquitous Robots
New York City, USA
Jun 24, 2024
NLPML 2024: 5th International Conference on Natural Language Processing and Machine Learning
Melbourne, Australia
Apr 20, 2024
SHOW ALL

OTHER CRYPTOGRAPHY EVENTS

SP2I 2024: The 4rd International Workshop on Security and Privacy in Intelligent Infrastructures
Vienna, Austria
Jul 30, 2024
NYC-2024-BC 2024: New York Annual Conference on Blockchain and Cryptography 2024
New York, USA
Jun 27, 2024
IACR CiC 2024: IACR Communications in Cryptology
N/A
APKC 2024: The 11th ACM ASIA Public-Key Cryptography Workshop
Singapore
Jul 1, 2024
FCST 2024: 12th International Conference on Foundations of Computer Science & Technology
Copenhagen, Denmark
Apr 27, 2024
SHOW ALL

OTHER SECURITY EVENTS

SSIP--EI 2024: 2024 7th International Conference on Sensors, Signal and Image Processing (SSIP 2024)
Shenzhen, China
Nov 22, 2024
ICISS--EI 2024: 2024 The 7th International Conference on Information Science and Systems (ICISS 2024)
Edinburgh, UK
Aug 14, 2024
ICSCC--EI 2024: 2024 9th International Conference on Systems, Control and Communications (ICSCC 2024)
Shenzhen, China
Oct 18, 2024
ICCIS--EI 2024: 2024 8th International Conference on Communication and Information Systems (ICCIS 2024)
Shenzhen, China
Oct 18, 2024
ENS 2024: 7th International Workshop on Emerging Network Security
Vienna, Austria
Jul 30, 2024
SHOW ALL

OTHER VERIFICATION EVENTS

SPIN 2024: 30th International Symposium on Model Checking Software
Luxembourg City
Apr 10, 2024
FAACS 2024: The 8th International Workshop on Formal Approaches for Advanced Computing Systems
IIIT Hyderabad, India
Jun 4, 2024
PSSV 2023: International Workshop on Program Semantics, Specification and Verification
hybrid
Nov 3, 2023
SBMF 2023: SBMF 2023
Manaus, Brazil
Dec 4, 2023
FTSCS 2023: Ninth ACM International Workshop on Formal Techniques for Safety-Critical Systems
Cascais, Portugal
Oct 22, 2023
SHOW ALL