Concepedia

Protocol Formal Verification

Protocol Formal Verification is a rigorous analytical method within the field of cryptography and computer security that belongs to the class of formal verification techniques, distinguished by its focus on mathematically proving the correctness, secrecy, and resistance to adversarial manipulation of authentication protocols with respect to their intended security properties.

763

Publications

43.5K

Citations

1.2K

Authors

491

Institutions

Publications per year

2017–2026

97

Parents

Publications

763

A logic of authentication

Michael T. Burrows, Martı́n Abadi, Roger M. Needham · ACM Transactions on Computer Systems · 1990 · 2.5K citations · Full text

, , +15

An efficient cryptographic protocol verifier based on prolog rules

Bruno Blanchet · 2005 · 955 citations

, , +17

Mobile values, new names, and secure communication

Martı́n Abadi, Cédric Fournet · 2001 · 843 citations

, , +15

The Inductive Approach to Verifying Cryptographic Protocols

1998 · 842 citations

, , +16

A Calculus for Cryptographic Protocols: The Spi Calculus

Martı́n Abadi, Andrew D. Gordon · Information and Computation · 1999 · 664 citations

, , +13

1–5 of 763

Authors

1.2K

  1. BB
    Bruno Blanchet

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

    20 publications · 2.8K citations

    17

    h-index

  2. CF
    Cédric Fournet

    Microsoft Research (United Kingdom), United Kingdom

    15 publications · 1.8K citations

    14

    h-index

  3. DB
    David Basin

    ETH Zurich, Switzerland

    14 publications · 1K citations

    14

    h-index

  4. CC
    Cas Cremers

    ETH Zurich, Switzerland

    15 publications · 763 citations

    14

    h-index

  5. JC
    John C. Mitchell

    Stanford University, United States

    14 publications · 1.4K citations

    14

    h-index

1–5 of 1.2K

Institutions

491

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

    Le Chesnay-Rocquencourt, France

    26 h-index

    58 publications

    4.5K citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    22 h-index

    55 publications

    3.2K citations

  3. ETH Zurich

    Zurich, Switzerland

    19 h-index

    53 publications

    4.3K citations

  4. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    19 h-index

    40 publications

    3.1K citations

  5. United States Naval Research Laboratory

    Washington, United States

    18 h-index

    24 publications

    1.5K citations

  6. Microsoft (United States)

    Redmond, United States

    18 h-index

    37 publications

    3K citations

  7. Stanford University

    Stanford, United States

    18 h-index

    38 publications

    5.2K citations

  8. University of Cambridge

    Cambridge, United Kingdom

    17 h-index

    22 publications

    6.6K citations

1–8 of 491

Venues

  1. Journal of Computer Security

    39 publications · 3.3K citations

    27

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 29 publications · 798 citations

    17

    h-index

  3. IEEE Transactions on Software Engineering

    TSE · 11 publications · 1.5K citations

    10

    h-index

  4. IACR Cryptology ePrint Archive

    Repository · 12 publications · 303 citations

    10

    h-index

  5. 9

    h-index

1–5