Duong Dinh Tran, Canh Minh Do, Santiago Escobar 0001, Kazuhiro Ogata 0001. Hybrid Post-Quantum TLS formal specification in Maude-NPA - toward its security analysis. In Sedat Akleylek, Santiago Escobar 0001, Kazuhiro Ogata 0001, Ayoub Otmani, editors, Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols co-located with the 23rd International Conference on Formal Engineering Methods (ICFEM 2022), Madrid, Spain, October 24, 2022. Volume 3280 of CEUR Workshop Proceedings, pages 50-64, CEUR-WS.org, 2022. [doi]
Abstract is missing.