Concepedia

Symbolic Protocol Verification

Symbolic Protocol Verification is a formal method for analyzing security protocols in which cryptographic operations are modeled using abstract symbolic expressions rather than concrete computational mathematics, enabling automated reasoning about protocol correctness with respect to secrecy, authentication, and other security properties.

62

Publications

5K

Citations

125

Authors

69

Institutions

Publications per year

2017–2026

16

Parents

Publications

62

Securify

Petar Tsankov, Andrei Dan, Dana Drachsler-Cohen et al. · 2018 · 1K citations

, , +17

Strand spaces: proving security protocols correct

F. Javier Thayer Fábrega, Jonathan Herzog, Joshua D. Guttman · Journal of Computer Security · 1999 · 541 citations

, , +11

Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif

Bruno Blanchet · Foundations and Trends® in Privacy and Security · 2016 · 293 citations · Full text

, , +16

Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties

Benedikt Schmidt, Simon Meier-Vieracker, Cas Cremers et al. · 2012 · 215 citations

, , +16

A Comprehensive Symbolic Analysis of TLS 1.3

Cas Cremers, Marko Horvat, Jonathan Hoyland et al. · 2017 · 183 citations

, , +16

1–5 of 62

Authors

125

  1. DB
    David Basin

    ETH Zurich, Switzerland

    6 publications · 421 citations

    6

    h-index

  2. SK
    Steve Kremer

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

    5 publications · 183 citations

    5

    h-index

  3. SD
    Stéphanie Delaune

    Centre National de la Recherche Scientifique, France

    5 publications · 125 citations

    5

    h-index

  4. KB
    Karthikeyan Bhargavan

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

    4 publications · 335 citations

    4

    h-index

  5. CC
    Cas Cremers

    ETH Zurich, Switzerland

    4 publications · 421 citations

    4

    h-index

1–5 of 125

Institutions

69

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

    Le Chesnay-Rocquencourt, France

    10 h-index

    18 publications

    1.5K citations

  2. ETH Zurich

    Zurich, Switzerland

    10 h-index

    28 publications

    6.7K citations

  3. Centre National de la Recherche Scientifique

    Paris, France

    7 h-index

    12 publications

    436 citations

  4. École Normale Supérieure Paris-Saclay

    Gif-sur-Yvette, France

    6 h-index

    8 publications

    436 citations

  5. Laboratoire Lorrain de Recherche en Informatique et ses Applications

    Nancy, France

    4 h-index

    5 publications

    141 citations

  6. Microsoft (United States)

    Redmond, United States

    4 h-index

    10 publications

    567 citations

  7. SRI International

    Menlo Park, United States

    4 h-index

    7 publications

    373 citations

  8. University of Illinois Urbana-Champaign

    Urbana, United States

    3 h-index

    7 publications

    316 citations

1–8 of 69

Venues

  1. Journal of Computer Security

    5 publications · 657 citations

    5

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 50 citations

    2

    h-index

  3. IACR Cryptology ePrint Archive

    Repository · 2 publications · 59 citations

    2

    h-index

  4. arXiv (Cornell University)

    Repository · 2 publications · 142 citations

    2

    h-index

  5. Formal Methods in System Design

    2 publications · 29 citations

    2

    h-index

1–5