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
News
- 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.