Proceedings

FAVPQC 2023
Proceedings of the 2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (FAVPQC), 2023
Editors: Santiago Escobar, Ayoub Otmani, Sedat Akleylek and Kazuhiro Ogata

ISBN 978-4-903092-62-1

You can view the article(s) on JAIST Repository.