Cryptology ePrint Archive: Report 2014/979
The Chaining Lemma and its application
Ivan Damgaard and Sebastian Faust and Pratyay Mukherjee and Daniele Venturi
Abstract: We present a new information-theoretic result which we call the Chaining Lemma. It considers a so-called "chain" of random variables, defined by a source distribution X with high min-entropy and a number (say, t in total) of arbitrary functions (T1,....Tt) which are applied in succession to that source to generate the chain X-->X-->.....-->X[t] such that X[i] = Ti(X[i-1]). Intuitively, the Chaining Lemma guarantees that, if the chain is not too long, then either (i) the entire chain is "highly random", in that every variable has high min-entropy; or (ii) it is possible to find a point j (1 <= j <= t) in the chain such that, conditioned on the end of the chain the preceding part remains highly random. We believe this is an interesting information-theoretic result which is intuitive but nevertheless requires rigorous case-analysis to prove.
We believe that the above lemma will find applications in cryptography. We give an example of this, namely we show an application of the lemma to protect essentially any cryptographic scheme against memory-tampering attacks. We allow several tampering requests, the tampering functions can be arbitrary, however, they must be chosen from a bounded size set of functions that is fixed a priori.
Category / Keywords: foundations / information theory, tamper resistance
Original Publication (with major differences): ICITS 2015
Date: received 2 Dec 2014, last revised 18 Feb 2015
Contact author: pratyay85 at gmail com
Available format(s): PDF | BibTeX Citation
Version: 20150218:103630 (All versions of this report)
Short URL: ia.cr/2014/979
Discussion forum: Show discussion | Start new discussion
[ Cryptology ePrint archive ]