%0 Conference Paper %1 conf/icfem/TranD0022 %A Tran, Duong Dinh %A Do, Canh Minh %A Escobar, Santiago %A Ogata, Kazuhiro %B FAVPQC@ICFEM %D 2022 %E Akleylek, Sedat %E Escobar, Santiago %E Ogata, Kazuhiro %E Otmani, Ayoub %I CEUR-WS.org %K dblp %P 50-64 %T Hybrid Post-Quantum TLS formal specification in Maude-NPA - toward its security analysis. %U http://dblp.uni-trier.de/db/conf/icfem/favpqc2022.html#TranD0022 %V 3280

@inproceedings{conf/icfem/TranD0022, added-at = {2023-03-10T00:00:00.000+0100}, author = {Tran, Duong Dinh and Do, Canh Minh and Escobar, Santiago and Ogata, Kazuhiro}, biburl = {https://www.bibsonomy.org/bibtex/2a3a523329a9a792bd1842123ed3f30ea/dblp}, booktitle = {FAVPQC@ICFEM}, crossref = {conf/icfem/2022favqpc}, editor = {Akleylek, Sedat and Escobar, Santiago and Ogata, Kazuhiro and Otmani, Ayoub}, ee = {https://ceur-ws.org/Vol-3280/paper4.pdf}, interhash = {138b68646528a506d14cf511e443c70a}, intrahash = {a3a523329a9a792bd1842123ed3f30ea}, keywords = {dblp}, pages = {50-64}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T10:19:41.000+0200}, title = {Hybrid Post-Quantum TLS formal specification in Maude-NPA - toward its security analysis.}, url = {http://dblp.uni-trier.de/db/conf/icfem/favpqc2022.html#TranD0022}, volume = 3280, year = 2022 }