Re: Collision resistant encryption scheme
Available news archives: comp.lang.tcl - comp.lang.python - comp.security.firewalls - sci.crypt - comp.lang.php - comp.lang.javascript
Google
 
Web news.hping.org


sci.crypt archive

Re: Collision resistant encryption scheme

From: David Wagner <daw@taverner.cs.berkeley.edu>
Date: Tue Feb 07 2006 - 02:57:48 CET

Sergei wrote:
>Is it possible for a secure encryption scheme (I mean IND security)
>to have such a plaintext x, that for randomly chosen keys k, k' the
>probability that D_k'(E_k(x))=x is non-negligible with respect to the
>length of the key?
[...]
>No, again it is not a homework problem.

Ok, sorry to be paranoid. It just sounded like the kind of question
I can imagine assigning.

No, it is not possible for an IND-CPA scheme to have non-negligible
probability of this happening. Suppose we have a plaintext x such that
p = Pr[D_k'(E_k(x))=x] is large, where the probability is taken over the
choice of k,k' chosen independently at random. Then consider the following
find-then-guess adversary:
   A("find"):
   1. Let m_0 = x. Pick m_1 randomly.
   2. Output (m_0,m_1).

   A("guess", c):
   1. Pick k' randomly.
   2. If D_k'(c) = x, then output 0, else output 1.
In the find-then-guess setting, a referee takes the output (m_0,m_1)
of A("find"), chooses k randomly, chooses a bit b \in {0,1} randomly,
runs A("guess", E_k(x)), and checks whether A's output matches b; A wins
if it correctly guesses b, and loses otherwise.

Notice that A("guess", E_k(x)) outputs 1 with probability at least p.
In other words, the advantage of A at breaking E is at least p/2, which
is non-negligible. This contradicts the assumption that E is IND-CPA
secure.

So the IND-CPA condition is not sufficient to ensure that your bad case
cannot happen. In contrast, I believe the IND-CCA2 condition would suffice
(though it is not necessary).
Received on Tue Feb 7 21:00:11 2006