JAIST Repository > School of Information Science > JAIST PRESS Publications >
Proceedings of the 2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (FAVPQC), 2023