Concepedia

Symbolic Protocol Analysis

Symbolic Protocol Analysis is a formal method in protocol verification that uses symbolic representations of messages and cryptographic operations to analyze the correctness and security properties of communication protocols under adversarial conditions.

42

Publications

1.7K

Citations

84

Authors

58

Institutions

Publications per year

2017–2026

10

Parents

Publications

42

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

On Limits and Possibilities of Automated Protocol Analysis

Gerard J. Holzmann · 1987 · 84 citations

, , +15

Automating Open Bisimulation Checking for the Spi Calculus

Alwen Tiu, Jeremy E. Dawson · 2010 · 70 citations

, , +15

An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols

Ralf Küsters, Tomasz Truderung · 2009 · 67 citations · Full text

, , +16

1–5 of 42

Authors

84

  1. CC
    Cas Cremers

    ETH Zurich, Switzerland

    5 publications · 468 citations

    5

    h-index

  2. DB
    David Basin

    ETH Zurich, Switzerland

    4 publications · 304 citations

    4

    h-index

  3. TM
    Todd Millstein

    University of California, Los Angeles, United States

    3 publications · 97 citations

    3

    h-index

  4. RG
    Ramesh Govindan

    University of Southern California, United States

    3 publications · 97 citations

    3

    h-index

  5. RM
    Ratul Mahajan

    Microsoft (United States), United States

    3 publications · 97 citations

    3

    h-index

1–5 of 84

Institutions

58

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

    Le Chesnay-Rocquencourt, France

    7 h-index

    9 publications

    201 citations

  2. ETH Zurich

    Zurich, Switzerland

    5 h-index

    10 publications

    1.1K citations

  3. Centre National de la Recherche Scientifique

    Paris, France

    4 h-index

    6 publications

    140 citations

  4. University of California, Los Angeles

    Los Angeles, United States

    3 h-index

    4 publications

    122 citations

  5. University of Oxford

    Oxford, United Kingdom

    3 h-index

    3 publications

    243 citations

  6. University of Southern California

    Los Angeles, United States

    3 h-index

    6 publications

    194 citations

  7. Verimag

    Gières, France

    2 h-index

    4 publications

    50 citations

  8. Universität Trier

    Trier, Germany

    2 h-index

    5 publications

    215 citations

1–8 of 58

Venues

  1. Journal of Computer Security

    4 publications · 96 citations

    4

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 21 citations

    2

    h-index

  3. IACR Cryptology ePrint Archive

    Repository · 2 publications · 59 citations

    2

    h-index

  4. Information and Computation

    1 publications · 21 citations

    1

    h-index

  5. Formal Methods in System Design

    1 publications · 18 citations

    1

    h-index

1–5