Concepedia

Zero-knowledge Protocol Verification

Zero-Knowledge Protocol Verification is a formal method in cryptographic protocol verification that enables one party to prove the correctness of a protocol's execution to a verifier without revealing any underlying secret information, thereby preserving privacy while ensuring compliance with specified security properties.

50

Publications

2.8K

Citations

140

Authors

73

Institutions

Publications per year

2017–2026

20

Parents

Publications

50

1–5 of 50

Authors

140

  1. AS
    Amit Sahai

    University of California, Los Angeles, United States

    3 publications · 691 citations

    3

    h-index

  2. TM
    Takaaki Mizuki

    Tohoku University, Japan

    3 publications · 103 citations

    3

    h-index

  3. EB
    Endre Bangerter

    Bern University of Applied Sciences, Switzerland

    2 publications · 22 citations

    2

    h-index

  4. HS
    Hideaki Sone

    Tohoku University, Japan

    2 publications · 64 citations

    2

    h-index

  5. PL
    Pascal Lafourcade

    Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes, France

    2 publications · 80 citations

    2

    h-index

1–5 of 140

Institutions

73

  1. Centre National de la Recherche Scientifique

    Paris, France

    4 h-index

    7 publications

    258 citations

  2. Weizmann Institute of Science

    Rehovot, Israel

    4 h-index

    8 publications

    1.2K citations

  3. Tsinghua University

    Beijing, China

    3 h-index

    4 publications

    100 citations

  4. University of California, Los Angeles

    Los Angeles, United States

    3 h-index

    3 publications

    550 citations

  5. Aarhus University

    Aarhus, Denmark

    3 h-index

    9 publications

    499 citations

  6. Microsoft (United States)

    Redmond, United States

    2 h-index

    2 publications

    249 citations

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

    Le Chesnay-Rocquencourt, France

    2 h-index

    2 publications

    59 citations

  8. Technion – Israel Institute of Technology

    Haifa, Israel

    2 h-index

    2 publications

    354 citations

1–8 of 73

Venues

  1. IACR Cryptology ePrint Archive

    Repository · 3 publications · 35 citations

    3

    h-index

  2. Journal of Cryptology

    3 publications · 212 citations

    3

    h-index

  3. Theoretical Computer Science

    2 publications · 53 citations

    2

    h-index

  4. 2

    h-index

  5. The Journal of Supercomputing

    1 publications · 35 citations

    1

    h-index

1–5