Nonce Analysis

Nonce Analysis is a formal method in protocol verification that analyzes the use of nonces—unique, unpredictable values employed once within cryptographic protocols—to ensure freshness and prevent replay attacks by distinguishing legitimate, timely exchanges from maliciously duplicated or delayed messages.

34

Publications

2K

Citations

75

Authors

49

Institutions

Publications per year

2017–2026

14

Authors

75

  1. LS
    Ling Song

    Chinese Academy of Sciences, China

    2 publications · 33 citations

    2

    h-index

  2. JG
    Jian Guo

    Nanyang Technological University, Singapore

    2 publications · 33 citations

    2

    h-index

  3. AH
    Aurélie Herbelot

    University of Trento, Italy

    2 publications · 26 citations

    2

    h-index

  4. MT
    Mehdi Tibouchi

    NTT (Japan), Japan

    2 publications · 72 citations

    2

    h-index

  5. VT
    Viet Tung Hoang

    University of California San Diego, United States

    1 publications · 30 citations

    1

    h-index

1–5 of 75

Venues

  1. IEEE Access

    2 publications · 77 citations

    2

    h-index

  2. IACR Cryptology ePrint Archive

    Repository · 2 publications · 76 citations

    2

    h-index

  3. Bilingualism Language and Cognition

    BLC · 2 publications · 126 citations

    2

    h-index

  4. World Englishes

    WE · 1 publications · 70 citations

    1

    h-index

  5. IACR Transactions on Symmetric Cryptology

    ToSC · 1 publications · 12 citations

    1

    h-index

1–5