Formal Analysis of Post-Quantum Hybrid Key Exchange SSH Transport Layer Protocol


Tran D. D., Ogata K., Escobar S., Akleylek S., Otmani A.

IEEE ACCESS, vol.12, pp.1672-1687, 2024 (SCI-Expanded)

  • Publication Type: Article / Article
  • Volume: 12
  • Publication Date: 2024
  • Doi Number: 10.1109/access.2023.3347914
  • Journal Name: IEEE ACCESS
  • Journal Indexes: Science Citation Index Expanded (SCI-EXPANDED), Scopus, Compendex, INSPEC, Directory of Open Access Journals
  • Page Numbers: pp.1672-1687
  • Ondokuz Mayıs University Affiliated: Yes