Proceeding

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

なお，本文PDFはJAIST学術研究成果リポジトリから閲覧可能です。

PDFダウンロード（89KB）