Concepedia

Automatic Protocol Verification

Automatic Protocol Verification is a formal method in security protocol analysis that automatically checks the correctness of cryptographic protocols with respect to security properties using algorithmic reasoning, distinguished by its reliance on automated tools to derive proofs or counterexamples without manual intervention.

203

Publications

12.3K

Citations

381

Authors

186

Institutions

Publications per year

2017–2026

19

Parents

Publications

203

An efficient cryptographic protocol verifier based on prolog rules

Bruno Blanchet · 2005 · 955 citations

, , +17

Mining specifications

Glenn Ammons, Rastislav Bodík, James R. Larus · 2002 · 669 citations · Full text

, , +16

Automated Security Protocol Analysis With the AVISPA Tool

Luca Viganò · Electronic Notes in Theoretical Computer Science · 2006 · 451 citations · Full text

, , +16

Protocol verification as a hardware design aid

David L. Dill, Andreas J. Drexler, Alan J. Hu et al. · 2003 · 399 citations

, , +17

Casper: A compiler for the analysis of security protocols

Gavin Lowe · Journal of Computer Security · 1998 · 317 citations

, , +16

1–5 of 203

Authors

381

  1. BB
    Bruno Blanchet

    Institut national de recherche en sciences et technologies du numérique, France

    10 publications · 2.1K citations

    10

    h-index

  2. KB
    Karthikeyan Bhargavan

    Institut national de recherche en sciences et technologies du numérique, France

    6 publications · 746 citations

    6

    h-index

  3. AL
    Alessio Lomuscio

    Imperial College London, United Kingdom

    6 publications · 164 citations

    6

    h-index

  4. DB
    David Basin

    ETH Zurich, Switzerland

    4 publications · 142 citations

    5

    h-index

  5. CF
    Cédric Fournet

    Microsoft Research (United Kingdom), United Kingdom

    5 publications · 426 citations

    5

    h-index

1–5 of 381

Institutions

186

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

    Le Chesnay-Rocquencourt, France

    12 h-index

    18 publications

    3K citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    11 h-index

    18 publications

    1K citations

  3. Microsoft (United States)

    Redmond, United States

    10 h-index

    17 publications

    1.9K citations

  4. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    10 h-index

    15 publications

    1K citations

  5. ETH Zurich

    Zurich, Switzerland

    8 h-index

    15 publications

    878 citations

  6. University of California, Berkeley

    Berkeley, United States

    6 h-index

    11 publications

    881 citations

  7. AT&T (United States)

    Bedminster, United States

    5 h-index

    7 publications

    291 citations

  8. Carnegie Mellon University

    Pittsburgh, United States

    5 h-index

    6 publications

    733 citations

1–8 of 186

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 11 publications · 635 citations

    10

    h-index

  2. IEEE Transactions on Software Engineering

    TSE · 11 publications · 760 citations

    10

    h-index

  3. Journal of Computer Security

    8 publications · 1.1K citations

    8

    h-index

  4. Science of Computer Programming

    4 publications · 254 citations

    4

    h-index

  5. IRE Transactions on Communications Systems

    3 publications · 139 citations

    3

    h-index

1–5