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

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

This article presents a security formal analysis of the hybrid post-quantum Transport Layer Security (TLS) protocol, a quantum-resistant version of the TLS protocol proposed by Amazon Web Services as a precaution in dealing with future attacks from quantum computers. In addition to a classical key e...

Full description

Bibliographic Details
Main Authors: Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata
Format: Article
Language:English
Published: PeerJ Inc. 2023-09-01
Series:PeerJ Computer Science
Subjects:
Post-quantum
TLS
Cryptographic protocol
Maude-NPA
Parallel Maude-NPA
Security analysis
Online Access:https://peerj.com/articles/cs-1556.pdf

Internet

https://peerj.com/articles/cs-1556.pdf

Similar Items