PQC-Verification

2023

1. PeerJ

   Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version

   Duong Dinh Tran, Canh Minh Do, Santiago Escobar, and Kazuhiro Ogata

   PeerJ Computer Science, Sep 2023

   DOI Bib

   @article{DuongPJ23,
     author = {Tran, Duong Dinh and Do, Canh Minh and Escobar, Santiago and Ogata, Kazuhiro},
     title = {Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA
                       and its parallel version},
     journal = {PeerJ Computer Science},
     volume = {9},
     pages = {e1556},
     year = {2023},
     timestamp = {Wed, 04 Oct 2023 08:55:07 +0200},
     biburl = {https://dblp.org/rec/journals/peerj-cs/TranDEO23.bib},
     bibsource = {dblp computer science bibliography, https://dblp.org}
   }

2022

1. FAVPQC

   Hybrid Post-Quantum TLS formal specification in Maude-NPA - toward its security analysis

   Duong Dinh Tran, Canh Minh Do, Santiago Escobar, and Kazuhiro Ogata

   In 1st International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols, FAVPQC 2022, Sep 2022

   URL Bib

   @inproceedings{DuongFavpqc22,
     author = {Tran, Duong Dinh and Minh Do, Canh and Escobar, Santiago and Ogata, Kazuhiro},
     editor = {Akleylek, Sedat and Escobar, Santiago and Ogata, Kazuhiro and Otmani, Ayoub},
     title = {Hybrid Post-Quantum {TLS} formal specification in Maude-NPA - toward
                       its security analysis},
     booktitle = {1st International Workshop on Formal Analysis and Verification
                       of Post-Quantum Cryptographic Protocols, {FAVPQC} 2022},
     series = {{CEUR} Workshop Proceedings},
     volume = {3280},
     pages = {50--64},
     publisher = {CEUR-WS.org},
     year = {2022},
     timestamp = {Fri, 10 Mar 2023 16:22:16 +0100},
     biburl = {https://dblp.org/rec/conf/icfem/TranD0022.bib},
     bibsource = {dblp computer science bibliography, https://dblp.org}
   }