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

Authors

25

  1. DS
    Douglas Stebila

    Queensland University of Technology, Australia

    2 publications · 37 citations

    2

    h-index

  2. NS
    Nick Sullivan

    Akamai (United States), United States

    2 publications · 37 citations

    2

    h-index

  3. UM
    Ueli Maurer

    ETH Zurich, Switzerland

    1 publications · 14 citations

    1

    h-index

  4. XC
    Xiuzhen Cheng

    George Washington University, United States

    1 publications · 41 citations

    1

    h-index

  5. NP
    Nigel P. Smart

    University of Bristol, United Kingdom

    1 publications · 33 citations

    1

    h-index

1–5 of 25

Venues

  1. arXiv (Cornell University)

    Repository · 1 publications · 14 citations

    1

    h-index

  2. IACR Cryptology ePrint Archive

    Repository · 1 publications · 14 citations

    1

    h-index

  3. IEEE Transactions on Vehicular Technology

    1 publications · 41 citations

    1

    h-index

  4. Trust, Security And Privacy In Computing And Communications

    Conference · 1 publications · 16 citations

    1

    h-index

  5. 2015 IEEE Trustcom/BigDataSE/ISPA

    Conference · 1 publications · 21 citations

    1

    h-index

1–5