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]
@inproceedings{TranD0022,
title = {Hybrid Post-Quantum TLS formal specification in Maude-NPA - toward its security analysis},
author = {Duong Dinh Tran and Canh Minh Do and Santiago Escobar 0001 and Kazuhiro Ogata 0001},
year = {2022},
url = {http://ceur-ws.org/Vol-3280/paper4.pdf},
researchr = {https://researchr.org/publication/TranD0022},
cites = {0},
citedby = {0},
pages = {50-64},
booktitle = {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},
editor = {Sedat Akleylek and Santiago Escobar 0001 and Kazuhiro Ogata 0001 and Ayoub Otmani},
volume = {3280},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}