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.
- Paper submission due:
September 15,September 22, 2022 (AoE)
September 30,October 13, 2022
October 14,October 18, 2022