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

An ICFEM 2022 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.

We plan a special issue of FAVPQC at PeerJ Computer Science, please see Call For Papers for more details.

Important dates

  • Paper submission due: September 15, September 22, 2022 (AoE)
  • Notification: September 30, October 13, 2022
  • Camera-ready: October 14, October 18, 2022


  • 2022/11/21: Proceedings are now available.
  • 2022/10/17: Program is now available.
  • 2022/10/13: Accepted papers announced.
  • 2022/09/14: Deadline is extended to September 22.
  • 2022/07/14: Keynote speakers are updated.
  • 2022/05/24: PC members are updated.
  • 2022/04/21: Website is created.