Handshake Security Analysis
Handshake Security Analysis is a formal method for evaluating the cryptographic robustness and protocol correctness of the TLS handshake process by systematically identifying vulnerabilities, ensuring compliance with security properties, and verifying resistance against known attack vectors.
9
Publications
184
Citations
25
Authors
12
Institutions
Publications per year
2017–2026
3
Parents
9
An Analysis of TLS Handshake Proxying
Douglas Stebila, Nick Sullivan · 2015 IEEE Trustcom/BigDataSE/ISPA · 2015 · 21 citations
Dragonblood: A Security Analysis of WPA3's SAE Handshake.
Mathy Vanhoef, Eyal Ronen · Lirias (KU Leuven) · 2019 · 16 citations · Full text
1–5 of 9
25
2
h-index
2
h-index
1
h-index
1
h-index
1
h-index
1–5 of 25
12

Queensland University of Technology
Brisbane, Australia
2 h-index
3 publications
53 citations
Université Hassan 1er
Settat, Morocco
1 h-index
2 publications
36 citations
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
1 h-index
3 publications
42 citations

Chongqing University
Chongqing, China
1 h-index
1 publications
41 citations
Stanford University
Stanford, United States
1 h-index
3 publications
42 citations
Cloud Computing Center
Dongguan, China
1 h-index
1 publications
21 citations
Sejong Cyber University
Seoul, South Korea
1 h-index
1 publications
11 citations
George Washington University
Washington, United States
1 h-index
3 publications
123 citations
1–8 of 12
Repository · 1 publications · 14 citations
1
h-index
Repository · 1 publications · 14 citations
1
h-index
1 publications · 41 citations
1
h-index
Conference · 1 publications · 16 citations
1
h-index
Conference · 1 publications · 21 citations
1
h-index
1–5