Login / Signup
Formal Analysis of Post-Quantum Hybrid Key Exchange SSH Transport Layer Protocol.
Duong Dinh Tran
Kazuhiro Ogata
Santiago Escobar
Sedat Akleylek
Ayoub Otmani
Published in:
IEEE Access (2024)
Keyphrases
</>
formal analysis
key exchange
transport layer
end to end
application layer
network layer
security analysis
physical layer
diffie hellman
formal methods
agent model
digital signature
network congestion
cross layer
secure communication
key distribution
internet protocol
image quality
lightweight