Home

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.

Due to Covid-19, the workshop may be held in a hybrid style or completely virtual.

Important dates

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

News

  • 2022/07/14: Keynote speakers are updated.
  • 2022/05/24: PC members are updated.
  • 2022/04/21: Website is created.