Concepedia

Key Exchange Verification

Key Exchange Verification is a formal method for verifying the correctness and security properties of cryptographic protocols that establish shared secret keys between parties, distinguished by its focus on ensuring resistance to attacks during the key exchange phase.

12

Publications

562

Citations

36

Authors

29

Institutions

Publications per year

2017–2026

2

Parents

Publications

12

Modelling and verifying key-exchange protocols using CSP and FDR

A. W. Roscoe · 2002 · 114 citations

, , +16

Efficient and Verifiable Shuffling and Shuffle-Decryption

Jun‐ichi Furukawa · IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences · 2005 · 62 citations

, , +16

Designated-verifier proof of assets for bitcoin exchange using elliptic curve cryptography

Huaqun Wang, Debiao He, Yimu Ji · Future Generation Computer Systems · 2017 · 60 citations

, , +14

Verifiable Mixing (Shuing) of ElGamal Pairs

C. Andrew Ne · 2004 · 59 citations

, , +15

Weakness in simple authenticated key agreementprotocol

Yuh‐Min Tseng · Electronics Letters · 2000 · 48 citations

, , +15

1–5 of 12

Authors

36

  1. MT
    Ming-Hsien Tsai

    National Taiwan University, Taiwan

    1 publications · 47 citations

    1

    h-index

  2. MA
    Muath AlShaikh

    Saudi Electronic University, Saudi Arabia

    1 publications · 26 citations

    1

    h-index

  3. MH
    Mohammad Hammoudeh

    Manchester Metropolitan University, United Kingdom

    1 publications · 26 citations

    1

    h-index

  4. CA
    C. Andrew Ne

    1 publications · 59 citations

    1

    h-index

  5. HL
    Hsin-Hung Lin

    Kyushu University, Japan

    1 publications · 47 citations

    1

    h-index

1–5 of 36

Institutions

29

  1. Kyushu University

    Fukuoka, Japan

    2 h-index

    2 publications

    74 citations

  2. Radboud University Nijmegen

    Nijmegen, The Netherlands

    1 h-index

    1 publications

    47 citations

  3. Chinese Academy of Sciences

    Beijing, China

    1 h-index

    1 publications

    60 citations

  4. University of Oxford

    Oxford, United Kingdom

    1 h-index

    1 publications

    114 citations

  5. Universiti Teknologi MARA System

    Shah Alam, Malaysia

    1 h-index

    2 publications

    36 citations

  6. Delft University of Technology

    Delft, The Netherlands

    1 h-index

    1 publications

    31 citations

  7. Laboratoire des Sciences et Techniques de l’Information de la Communication et de la Connaissance

    Brest, France

    1 h-index

    1 publications

    26 citations

  8. Nanjing Polytechnic Institute

    Nanjing, China

    1 h-index

    1 publications

    60 citations

1–8 of 29

Venues

  1. Electronics Letters

    2 publications · 70 citations

    2

    h-index

  2. Future Generation Computer Systems

    FGCS · 1 publications · 60 citations

    1

    h-index

  3. Nonlinear Dynamics

    1 publications · 48 citations

    1

    h-index

  4. 1

    h-index

  5. Computer Standards & Interfaces

    1 publications · 27 citations

    1

    h-index

1–5