Handshake Protocol Analysis
Handshake Protocol Analysis is a methodological framework within protocol analysis that specifically examines the initiation, negotiation, and establishment phases of communication protocols to identify vulnerabilities, inefficiencies, or deviations in the initial interactions between networked entities.
8
Publications
519
Citations
28
Authors
15
Institutions
Publications per year
2017–2026
1
Parents
8
Analysis of the 802.11i 4-way handshake
Changhua He, John C. Mitchell · 2004 · 161 citations
Finite-state analysis of SSL 3.0
John C. Mitchell, Vitaly Shmatikov, Ulrich Stern · 1998 · 159 citations
A Cryptographic Analysis of the TLS 1.3 Handshake Protocol
Benjamin Dowling, Marc Fischlin, Felix Günther et al. · Journal of Cryptology · 2021 · 83 citations · Full text
1–5 of 8
28
2
h-index
1
h-index
1
h-index
1
h-index
1
h-index
1–5 of 28
15
Stanford University
Stanford, United States
2 h-index
5 publications
799 citations
Ben-Gurion University of the Negev
Beersheba, Israel
1 h-index
1 publications
18 citations
Cisco Systems (United States)
San Jose, United States
1 h-index
1 publications
18 citations

University of Bristol
Bristol, United Kingdom
1 h-index
3 publications
99 citations
University of Florida
Gainesville, United States
1 h-index
4 publications
84 citations

Monash University
Melbourne, Australia
1 h-index
2 publications
60 citations

Ollscoil na Gaillimhe – University of Galway
Galway, Ireland
1 h-index
1 publications
18 citations

University of Waterloo
Waterloo, Canada
1 h-index
1 publications
83 citations
1–8 of 15
2 publications · 116 citations
2
h-index
Conference · 1 publications · 21 citations
1
h-index
CCR · 1 publications · 18 citations
1
h-index
1–3