Concepedia

Computational Protocol Analysis

Computational Protocol Analysis is a formal method within protocol analysis that employs computational models and algorithms to rigorously verify, validate, or evaluate the correctness, security, or efficiency of communication protocols through automated or semi-automated reasoning over their syntactic and semantic structures.

25

Publications

1.4K

Citations

68

Authors

46

Institutions

Publications per year

2017–2026

9

Parents

Publications

25

Best‐Practice DFT Protocols for Basic Molecular Computational Chemistry**

Markus Bursch, Jan‐Michael Mewes, Andreas Hansen et al. · Angewandte Chemie · 2022 · 243 citations · Full text

, , +14

A probabilistic poly-time framework for protocol analysis

Patrick Lincoln, John C. Mitchell, Murray Mitchell et al. · 1998 · 210 citations

, , +11

Mobileinsight

Yuanjie Li, Chunyi Peng, Zengwen Yuan et al. · 2016 · 140 citations

, , +17

Aza-boron-dipyrromethene dyes: TD-DFT benchmarks, spectral analysis and design of original near-IR structures

Boris Le Guennic, Olivier Maury, Denis Jacquemin · Physical Chemistry Chemical Physics · 2011 · 112 citations · Full text

, , +17

Using ProVerif to Analyze Protocols with Diffie-Hellman Exponentiation

Ralf Küsters, Tomasz Truderung · 2009 · 104 citations

, , +16

1–5 of 25

Authors

68

  1. MB
    Markus Bursch

    University of Bonn, Germany

    2 publications · 281 citations

    2

    h-index

  2. AH
    Andreas Hansen

    University of Bonn, Germany

    2 publications · 281 citations

    2

    h-index

  3. SG
    Stefan Grimme

    University of Bonn, Germany

    2 publications · 281 citations

    2

    h-index

  4. JL
    Jiayao Li

    Chinese Academy of Sciences, China

    2 publications · 152 citations

    2

    h-index

  5. HD
    Haotian Deng

    Shenyang Agricultural University, China

    2 publications · 152 citations

    2

    h-index

1–5 of 68

Institutions

46

  1. University of Bonn

    Bonn, Germany

    2 h-index

    6 publications

    843 citations

  2. Max-Planck-Institut für Kohlenforschung

    Mülheim, Germany

    2 h-index

    2 publications

    281 citations

  3. The Ohio State University

    Columbus, United States

    2 h-index

    4 publications

    304 citations

  4. Centre National de la Recherche Scientifique

    Paris, France

    2 h-index

    4 publications

    353 citations

  5. Peking University

    Beijing, China

    2 h-index

    2 publications

    152 citations

  6. Nantes Université

    Nantes, France

    2 h-index

    2 publications

    129 citations

  7. Université de Haute-Alsace

    Mulhouse, France

    1 h-index

    2 publications

    72 citations

  8. Sapienza University of Rome

    Rome, Italy

    1 h-index

    4 publications

    148 citations

1–8 of 46

Venues

  1. Journal of Computational Chemistry

    2 publications · 60 citations

    2

    h-index

  2. Dalton Transactions

    1 publications · 43 citations

    1

    h-index

  3. International Journal of Molecular Sciences

    IJMS · 1 publications · 23 citations

    1

    h-index

  4. The Journal of Physical Chemistry B

    1 publications · 43 citations

    1

    h-index

  5. IEEE Security & Privacy

    1 publications · 28 citations

    1

    h-index

1–5