2009 | OriginalPaper | Buchkapitel
Computational Indistinguishability Amplification: Tight Product Theorems for System Composition
verfasst von : Ueli Maurer, Stefano Tessaro
Erschienen in: Advances in Cryptology - CRYPTO 2009
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Computational indistinguishability amplification is the problem of strengthening cryptographic primitives whose security is defined by bounding the distinguishing advantage of an efficient distinguisher. Examples include pseudorandom generators (PRGs), pseudorandom functions (PRFs), and pseudorandom permutations (PRPs).
The literature on computational indistinguishability amplification consists only of few isolated results. Yao’s XOR-lemma implies, by a hybrid argument, that no efficient distinguisher has advantage better than (roughly)
n
2
m
− 1
δ
m
in distinguishing the XOR of
m
independent
n
-bit PRG outputs
S
1
,...,
S
m
from uniform randomness if no efficient distinguisher has advantage more than
δ
in distinguishing
S
i
from a uniform
n
-bit string. The factor 2
m
− 1
allows for security amplification only if
$\delta<\frac{1}{2}$
: For the case of PRFs, a random-offset XOR-construction of Myers was the first result to achieve
strong
security amplification, i.e., also for
$\frac{1}{2} \le \delta < 1$
.
This paper proposes a systematic treatment of computational indistinguishability amplification. We generalize and improve the above product theorem for the XOR of PRGs along five axes. First, we prove the
tight
information-theoretic bound 2
m
− 1
δ
m
(without factor
n
) also for the computational setting. Second, we prove results for
interactive
systems (e.g. PRFs or PRPs). Third, we consider the general class of
neutralizing combination constructions
, not just XOR. As an application, this yields the first indistinguishability amplification results for the cascade of PRPs (i.e., block ciphers) converting a weak PRP into an arbitrarily strong PRP, both for single-sided and two-sided queries. Fourth,
strong
security amplification is achieved for a subclass of neutralizing constructions which includes as a special case the construction of Myers. As an application we obtain highly practical optimal security amplification for block ciphers, simply by adding random offsets at the input and output of the cascade. Fifth, we show strong security amplification also for
weakened assumptions
like security against random-input (as opposed to chosen-input) attacks.
A key technique is a generalization of Yao’s XOR-lemma to (interactive) systems which is of independent interest.