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

SEC 2023: 9th International Conference on Software Engineering
Zurich, Switzerland
May 20, 2023
STACS 2023: Symposium on Theoretical Aspects of Computer Science
Hamburg, Germany
Mar 7, 2023
AESM 2022: Algorithms towards Ethical and Privacy challenges in Social Media recommendation systems - ICDMW
Orlando, Florida, USA
Aug 20, 2022
SI2022-09 H-Social Big Data Privacy 2022: Call for papers: Human-centric Social Big Data Privacy, Security and Frontier computing (HCIS Q1)
China
Aug 15, 2020
ArIT 2023: 4th International Conference on Advances in Artificial Intelligence Techniques
Sydney, Australia
Jun 17, 2023
SHOW ALL

OTHER CRYPTOGRAPHY EVENTS

SI ETRACNS 2023: Special Issue on Emerging Trends and Recent Advances in Communication Networks Security
N/A
CSP--Scopus, Ei 2023: 2023 7th International Conference on Cryptography, Security and Privacy (CSP 2023)--Ei Compendex, Scopus
Tianjin, China
Apr 21, 2023
IJNSA 2022: International Journal of Network Security & Its Applications - ERA, WJCI Listed, H index - 43
N/A
CRYPIS 2022: 11th International Conference on Cryptography and Information Security
Toronto, Canada
Jul 23, 2022
AsiaJCIS 2022: The 17th Asia Joint Conference on Information Security
China
Aug 15, 2022
SHOW ALL

OTHER SECURITY EVENTS

IEEE BSC 2022: IEEE International Workshop on Blockchain and Smart Contracts -- Deadline Extended
Guangzhou, China
Dec 5, 2022
SI2022-09 H-Social Big Data Privacy 2022: Call for papers: Human-centric Social Big Data Privacy, Security and Frontier computing (HCIS Q1)
China
Aug 15, 2020
ICDIP 2023: SPIE--2023 The 15th International Conference on Digital Image Processing (ICDIP 2023)
Nanjing, China
May 19, 2023
IEEE CCNC STP-CPS 2023: 5th International Workshop on Security Trust Privacy for Cyber-Physical Systems (STP-CPS'23) with IEEE CCNC 2023, 8-11 January, Las Vegas, NV, USA
Las Vegas, NV, USA
Jan 8, 2023
MobiSec/5GBSec 2022: The 6th International Symposium on Mobile Internet Security/Special Session on 5G and Beyond Security (5GBSec)
Jeju Island, South Korea
Dec 15, 2022
SHOW ALL

OTHER VERIFICATION EVENTS

VMCAI 2023: International Conference on Verification, Model Checking, and Abstract Interpretation 2023, 15-17 January, Boston, Call for Papers
Boston
Jan 15, 2023
SAS 2023: Static Analysis Symposium
Cascais (Lisbon), Portugal
Oct 22, 2023
OVERLAY 2022: 4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
Udine (Italy)
Nov 28, 2022
FAACS 2022: 6th International Workshop on Formal Approaches for Advanced Computing Systems
Prague, Czechia
Sep 19, 2022
ASYDE 2022: Automated and verifiable Software sYstem DEvelopment
Computer Science Humboldt Univ. Berlin
Sep 28, 2022
SHOW ALL