Concepedia

Formal Verification Of Cryptographic Code

Formal Verification of Cryptographic Code is a rigorous mathematical methodology belonging to the class of verification techniques that employs formal logic and proof systems to algorithmically establish the correctness of cryptographic implementations with respect to their specified security properties, distinguishing it from empirical or testing-based validation approaches.

49

Publications

6.4K

Citations

117

Authors

71

Institutions

Publications per year

2017–2026

7

Parents

Publications

49

Applied cryptography: Protocols, algorithms, and source code in C

Bruce Schneier · Computer Law & Security Report · 1994 · 3.4K citations · Full text

, , +12

Prudent engineering practice for cryptographic protocols

M. Abadi, R. Needham · IEEE Transactions on Software Engineering · 1996 · 578 citations

, , +16

Formal certification of code-based cryptographic proofs

Gilles Barthe, Benjamin Grégoire, Santiago Zanella-Béguelin · 2009 · 263 citations

, , +13

The security of triple encryption and a framework for code-based game-playing proofs

Mihir Bellare, Phillip Rogaway · 2006 · 152 citations

, , +14

Verification of a Cryptographic Primitive

Andrew W. Appel · ACM Transactions on Programming Languages and Systems · 2015 · 148 citations · Full text

, , +17

1–5 of 49

Authors

117

  1. CF
    Cédric Fournet

    Microsoft Research (United Kingdom), United Kingdom

    6 publications · 277 citations

    6

    h-index

  2. KB
    Karthikeyan Bhargavan

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

    5 publications · 209 citations

    5

    h-index

  3. JJ
    Jan Jürjens

    Fraunhofer Institute for Software and Systems Engineering, Germany

    4 publications · 115 citations

    4

    h-index

  4. GB
    Gilles Barthe

    IMDEA Software Institute, Spain

    4 publications · 509 citations

    4

    h-index

  5. AD
    Andrew D. Gordon

    Microsoft Research (United Kingdom), United Kingdom

    4 publications · 244 citations

    4

    h-index

1–5 of 117

Institutions

71

  1. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    8 h-index

    15 publications

    801 citations

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

    Le Chesnay-Rocquencourt, France

    6 h-index

    11 publications

    927 citations

  3. Microsoft (United States)

    Redmond, United States

    6 h-index

    9 publications

    478 citations

  4. Galois (United States)

    Portland, United States

    5 h-index

    9 publications

    200 citations

  5. IMDEA Software Institute

    Pozuelo de Alarcón, Spain

    3 h-index

    5 publications

    309 citations

  6. Princeton University

    Princeton, United States

    3 h-index

    5 publications

    384 citations

  7. CryptoExperts (France)

    Paris, France

    2 h-index

    4 publications

    115 citations

  8. Shenzhen University

    Shenzhen, China

    2 h-index

    4 publications

    54 citations

1–8 of 71

Venues

  1. ACM SIGPLAN Notices

    2 publications · 116 citations

    2

    h-index

  2. Optics Communications

    1 publications · 13 citations

    1

    h-index

  3. IEEE Security & Privacy

    1 publications · 16 citations

    1

    h-index

  4. Journal in Computer Virology

    1 publications · 33 citations

    1

    h-index

  5. IEEE Access

    1 publications · 24 citations

    1

    h-index

1–5