Description: International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols 2022
--> FAVPQC 2022 Home Program Call For Papers Committee Sponsors 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.