The 2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols
Brisbane. Photo by Martin on Unsplash
The 2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols
An ICFEM 2023
satellite workshop, Brisbane, Australia, November 21, 2023.
Post-quantum cryptographic protocols refer to those replacements of classical cryptographic protocols as a precaution against future attacks from quantum computers. This has been motivated by the fact that the public-key cryptosystems used today will be no longer secure under large-scale quantum computers, which are promisingly becoming available in the near future because of the huge research and development investment. Significant efforts have been spent to standardize post-quantum cryptographic primitives and protocols, especially after the Post-quantum Cryptography Standardization Project started by NIST
(https://csrc.nist.gov/projects/post-quantum-cryptography).
Therefore, security analysis/verification of those post-quantum cryptographic protocols is an important factor in the construction of the finally secure cryptosystems.
Following the successful workshop last year in Spain, this year, the 2nd workshop will be held in Brisbane, Australia. See Call For Papers for our invitation to submit papers.
Important dates
Paper submission due: September 29 October 20, 2023
Notification: October 13November 3 November 10, 2023
Camera-ready: October 27 November 17, 2023
Registration
Please find the registration information on the ICFEM 2023 website.
Participants can choose to attend either only FAVPQC or both FAVPQC and ICFEM.