The 2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols 2023
An ICFEM 2023 satellite workshop, Brisbane, Australia, November 21, 2023
International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols 2022
An ICFEM 2022 satellite workshop, Madrid, Spain, October 24, 2022