Concepedia

Key Exchange Protocol Verification

Key Exchange Protocol Verification is a formal method within cryptographic protocol verification that specifically ensures the correctness, security, and authenticity of key exchange mechanisms against adversarial attacks and logical flaws during their execution.

68

Publications

3.9K

Citations

163

Authors

100

Institutions

Publications per year

2017–2026

16

Parents

Publications

68

An Efficient Protocol for Authenticated Key Agreement

Laurie Law, Alfred Menezes, Minghua Qu et al. · Designs Codes and Cryptography · 2003 · 513 citations

, , +15

A modular approach to the design and analysis of authentication and key exchange protocols (extended abstract)

Mihir Bellare, Ran Canetti, Hugo Krawczyk · 1998 · 358 citations · Full text

, , +17

On Formal Models for Secure Key Exchange.

Victor Shoup · IACR Cryptology ePrint Archive · 1999 · 323 citations

, , +14

Modelling and verifying key−exchange protocols using CSP and FDR

Bill Roscoe · 1995 · 153 citations

, , +11

Analysis of the Internet Key Exchange protocol using the NRL Protocol Analyzer

Catherine Meadows · 2003 · 147 citations

, , +16

1–5 of 68

Authors

163

  1. SA
    Sedat Akleylek

    Ondokuz Mayıs University, Türkiye

    2 publications · 136 citations

    2

    h-index

  2. JZ
    Jianying Zhou

    Institute for Infocomm Research, Singapore

    2 publications · 54 citations

    2

    h-index

  3. CM
    Catherine Meadows

    United States Naval Research Laboratory, United States

    2 publications · 178 citations

    2

    h-index

  4. KK
    Kazukuni Kobara

    National Institute of Advanced Industrial Science and Technology, Japan

    2 publications · 30 citations

    2

    h-index

  5. CC
    Cas Cremers

    ETH Zurich, Switzerland

    2 publications · 162 citations

    2

    h-index

1–5 of 163

Institutions

100

  1. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    3 h-index

    3 publications

    120 citations

  2. Ondokuz Mayıs University

    Samsun, Türkiye

    2 h-index

    4 publications

    272 citations

  3. Advanced Digital Sciences Center

    Singapore, Singapore

    2 h-index

    2 publications

    54 citations

  4. University of Oxford

    Oxford, United Kingdom

    2 h-index

    4 publications

    501 citations

  5. IBM (United States)

    Armonk, United States

    2 h-index

    2 publications

    453 citations

  6. Centre National de la Recherche Scientifique

    Paris, France

    2 h-index

    2 publications

    39 citations

  7. ETH Zurich

    Zurich, Switzerland

    2 h-index

    2 publications

    61 citations

  8. United States Naval Research Laboratory

    Washington, United States

    2 h-index

    3 publications

    209 citations

1–8 of 100

Venues

  1. Electronics Letters

    4 publications · 134 citations

    4

    h-index

  2. Nonlinear Dynamics

    3 publications · 112 citations

    3

    h-index

  3. ACM Transactions on Information and System Security

    TISSEC · 2 publications · 191 citations

    2

    h-index

  4. Information Sciences

    2 publications · 33 citations

    2

    h-index

  5. 2

    h-index

1–5