FAVPQC 2023

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 13 November 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.

Registration link for international participants:

Registration link for Australian participants:


News

  • 2023/11/16: Workshop program is available.
  • 2023/11/9: Accepted papers announced.
  • 2023/09/28: Submission deadline is extended to October 20.
  • 2023/09/14: Registration information is available.
  • 2023/08/23: PC members are updated.
  • 2023/04/21: Website is created.