JAIST Repository > b. 情報科学研究科・情報科学系 >
Proceedings of the 2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (FAVPQC), 2023