[Resource Topic] 2003/024: On Modeling IND-CCA Security in Cryptographic Protocols

Welcome to the resource topic for 2003/024

Title:
On Modeling IND-CCA Security in Cryptographic Protocols

Authors: Dennis Hofheinz, Joern Mueller-Quade, Rainer Steinwandt

Abstract:

Two common notions of security for public key encryption schemes are shown to be equivalent: we prove that indistinguishability against chosen-ciphertext attacks (IND-CCA) is in fact polynomially equivalent to (yet “slightly” weaker than) securely realizing the ideal functionality F_PKE in the general modeling of cryptographic protocols of [Universally Composable Security: A New Paradigm for Cryptographic Protocols]. This disproves in particular the claim that security in the sense of IND-CCA strictly implies security in the sense of realizing F_PKE (see [Universally Composable Security: A New Paradigm for Cryptographic Protocols]). Moreover, we give concrete reductions among such security notions and show that these relations hold for both uniform and non-uniform adversarial entities.

ePrint: https://eprint.iacr.org/2003/024

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .