Concepedia

Cryptographic Soundness

Cryptographic Soundness is a property of interactive proof systems in which the probability that a computationally bounded verifier accepts a false statement is negligible, under the assumption that certain cryptographic primitives are secure.

38

Publications

2.1K

Citations

77

Authors

64

Institutions

Publications per year

2017–2026

5

Parents

Publications

38

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

Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)

Martı́n Abadi, Phillip Rogaway · Journal of Cryptology · 2002 · 151 citations · Full text

, , +13

An elementary introduction to hyperelliptic curves

Alfred Menezes, Yihong Wu, Robert Zuccherato · 1996 · 137 citations

, , +14

Protocol failures in cryptosystems

Judy Moore · Proceedings of the IEEE · 1988 · 126 citations

, , +17

A simple chaotic circuit with a hyperbolic sine function and its use in a sound encryption scheme

Christos Volos, Akif Akgül, Viet–Thanh Pham et al. · Nonlinear Dynamics · 2017 · 102 citations

, , +14

1–5 of 38

Authors

77

  1. MB
    Michael Backes

    Saarland University, Germany

    8 publications · 302 citations

    8

    h-index

  2. DU
    Dominique Unruh

    University of Tartu, Estonia

    4 publications · 110 citations

    4

    h-index

  3. AS
    Andre Scedrov

    University of Pennsylvania, United States

    3 publications · 108 citations

    3

    h-index

  4. BP
    Birgit Pfitzmann

    IBM Research - Zurich, Switzerland

    3 publications · 163 citations

    3

    h-index

  5. MW
    Michael Waidner

    IBM Research - Zurich, Switzerland

    2 publications · 167 citations

    2

    h-index

1–5 of 77

Institutions

64

  1. Saarland University

    Saarbrücken, Germany

    8 h-index

    11 publications

    360 citations

  2. Max Planck Institute for Software Systems

    Saarbrücken, Germany

    5 h-index

    5 publications

    135 citations

  3. University of Tartu

    Tartu, Estonia

    3 h-index

    3 publications

    78 citations

  4. IBM Research - Zurich

    Rüschlikon, Switzerland

    3 h-index

    4 publications

    197 citations

  5. University of California, Davis

    Davis, United States

    2 h-index

    2 publications

    166 citations

  6. University of Bristol

    Bristol, United Kingdom

    2 h-index

    2 publications

    30 citations

  7. Sandia National Laboratories California

    Livermore, United States

    2 h-index

    2 publications

    138 citations

  8. California University of Pennsylvania

    California, United States

    2 h-index

    3 publications

    128 citations

1–8 of 64

Venues

  1. Journal of Cryptology

    2 publications · 163 citations

    2

    h-index

  2. Journal of Computer Security

    2 publications · 38 citations

    2

    h-index

  3. Journal of Information Security and Applications

    JISA · 1 publications · 34 citations

    1

    h-index

  4. 1

    h-index

  5. 1

    h-index

1–5