Concepedia

Computational Security Proofs

Computational Security Proofs is a formal method in cryptography that constitutes a mathematical argument demonstrating the security of a protocol under well-defined computational assumptions, distinguishing it from heuristic or symbolic approaches by relying on the conjectured hardness of computational problems within a probabilistic polynomial-time adversarial model.

131

Publications

10.9K

Citations

286

Authors

148

Institutions

Publications per year

2017–2026

38

Parents

Publications

131

Pinocchio: Nearly Practical Verifiable Computation

Bryan Parno, Jon Howell, Craig Gentry et al. · 2013 · 835 citations · Full text

, , +9

Sequences of games: a tool for taming complexity in security proofs.

Victor Shoup · IACR Cryptology ePrint Archive · 2004 · 758 citations

, , +9

Verifiable random functions

Silvio Micali, M. O. Rabin, Salil Vadhan · 2003 · 687 citations · Full text

, , +10

A Proof of Security of Yao’s Protocol for Two-Party Computation

Yehuda Lindell, Benny Pinkas · Journal of Cryptology · 2008 · 655 citations · Full text

, , +14

Tight finite-key analysis for quantum cryptography

Marco Tomamichel, Charles Ci Wen Lim, Nicolas Gisin et al. · Nature Communications · 2012 · 622 citations · Full text

, , +12

1–5 of 131

Authors

286

  1. VC
    Véronique Cortier

    Laboratoire Lorrain de Recherche en Informatique et ses Applications, France

    5 publications · 160 citations

    5

    h-index

  2. RR
    Renato Renner

    ETH Zurich, Switzerland

    5 publications · 1.1K citations

    5

    h-index

  3. GB
    Gilles Barthe

    IMDEA Software Institute, Spain

    4 publications · 90 citations

    4

    h-index

  4. OG
    Oded Goldreich

    Weizmann Institute of Science, Israel

    4 publications · 627 citations

    4

    h-index

  5. BW
    Bogdan Warinschi

    University of Bristol, United Kingdom

    4 publications · 75 citations

    4

    h-index

1–5 of 286

Institutions

148

  1. Centre National de la Recherche Scientifique

    Paris, France

    10 h-index

    18 publications

    567 citations

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

    Le Chesnay-Rocquencourt, France

    9 h-index

    15 publications

    364 citations

  3. Massachusetts Institute of Technology

    Cambridge, United States

    8 h-index

    15 publications

    2.2K citations

  4. University of Bristol

    Bristol, United Kingdom

    7 h-index

    11 publications

    267 citations

  5. ETH Zurich

    Zurich, Switzerland

    6 h-index

    12 publications

    2.4K citations

  6. Cornell University

    Ithaca, United States

    5 h-index

    9 publications

    366 citations

  7. IMDEA Software Institute

    Pozuelo de Alarcón, Spain

    5 h-index

    7 publications

    188 citations

  8. Weizmann Institute of Science

    Rehovot, Israel

    4 h-index

    5 publications

    152 citations

1–8 of 148

Venues

  1. IACR Cryptology ePrint Archive

    Repository · 15 publications · 1.5K citations

    12

    h-index

  2. Journal of Cryptology

    6 publications · 901 citations

    6

    h-index

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

    Repository · 4 publications · 81 citations

    4

    h-index

  4. IEEE Transactions on Information Theory

    4 publications · 346 citations

    4

    h-index

  5. Nature Communications

    2 publications · 689 citations

    2

    h-index

1–5