Concepedia

Computationally Sound Verification

Computationally Sound Verification is a formal method for analyzing cryptographic protocols that belongs to the class of symbolic verification techniques but differs by rigorously accounting for computational security assumptions and bounds on adversarial capabilities in probabilistic polynomial time.

61

Publications

4.1K

Citations

127

Authors

91

Institutions

Publications per year

2017–2026

13

Parents

Publications

61

From extractable collision resistance to succinct non-interactive arguments of knowledge, and back again

Nir Bitansky, Ran Canetti, Alessandro Chiesa et al. · 2012 · 473 citations

, , +15

Computationally Sound Proofs

Silvio Micali · SIAM Journal on Computing · 2000 · 412 citations

, , +13

CS proofs

Silvio Micali · 2002 · 281 citations

, , +16

A computationally sound mechanized prover for security protocols

Bruno Blanchet · 2006 · 219 citations

, , +16

A Computationally Sound Mechanized Prover for Security Protocols

Bruno Blanchet · IEEE Transactions on Dependable and Secure Computing · 2008 · 165 citations

, , +16

1–5 of 61

Authors

127

  1. BB
    Bruno Blanchet

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

    6 publications · 524 citations

    6

    h-index

  2. MB
    Michael Backes

    Saarland University, Germany

    5 publications · 159 citations

    5

    h-index

  3. DU
    Dominique Unruh

    University of Tartu, Estonia

    4 publications · 140 citations

    4

    h-index

  4. BG
    Benjamin Grégoire

    IMDEA Software Institute, Spain

    3 publications · 105 citations

    3

    h-index

  5. MA
    Mihhail Aizatulin

    The Open University, United Kingdom

    3 publications · 106 citations

    3

    h-index

1–5 of 127

Institutions

91

  1. Microsoft (United States)

    Redmond, United States

    7 h-index

    11 publications

    697 citations

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

    Le Chesnay-Rocquencourt, France

    7 h-index

    9 publications

    292 citations

  3. Massachusetts Institute of Technology

    Cambridge, United States

    6 h-index

    10 publications

    710 citations

  4. Saarland University

    Saarbrücken, Germany

    5 h-index

    10 publications

    342 citations

  5. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    5 h-index

    5 publications

    239 citations

  6. Max Planck Institute for Software Systems

    Saarbrücken, Germany

    5 h-index

    5 publications

    159 citations

  7. Centre National de la Recherche Scientifique

    Paris, France

    4 h-index

    4 publications

    455 citations

  8. IMDEA Software Institute

    Pozuelo de Alarcón, Spain

    3 h-index

    5 publications

    197 citations

1–8 of 91

Venues

  1. IACR Cryptology ePrint Archive

    Repository · 2 publications · 41 citations

    2

    h-index

  2. SIAM Journal on Computing

    2 publications · 507 citations

    2

    h-index

  3. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

    Repository · 2 publications · 42 citations

    2

    h-index

  4. IEEE Computational Science and Engineering

    1 publications · 11 citations

    1

    h-index

  5. Networked Systems Design and Implementation

    Conference · 1 publications · 52 citations

    1

    h-index

1–5