International Workshop on Cryptographic Hardware and Embedded Systems

CHES 2003: Cryptographic Hardware and Embedded Systems - CHES 2003 pp 166-180

True Random Number Generators Secure in a Changing Environment

  • Boaz Barak
  • Ronen Shaltiel
  • Eran Tromer
Conference paper

DOI: 10.1007/978-3-540-45238-6_14

Volume 2779 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Barak B., Shaltiel R., Tromer E. (2003) True Random Number Generators Secure in a Changing Environment. In: Walter C.D., Koç Ç.K., Paar C. (eds) Cryptographic Hardware and Embedded Systems - CHES 2003. CHES 2003. Lecture Notes in Computer Science, vol 2779. Springer, Berlin, Heidelberg

Abstract

A true random number generator (TRNG) usually consists of two components: an “unpredictable” source with high entropy, and a randomness extractor — a function which, when applied to the source, produces a result that is statistically close to the uniform distribution. When the output of a TRNG is used for cryptographic needs, it is prudent to assume that an adversary may have some (limited) influence on the distribution of the high-entropy source. In this work:

  1. 1

    We define a mathematical model for the adversary’s influence on the source.

     
  2. 2

    We show a simple and efficient randomness extractor and prove that it works for all sources of sufficiently high-entropy, even if individual bits in the source are correlated.

     
  3. 3

    Security is guaranteed even if an adversary has (bounded) influence on the source.

     

Our approach is based on a related notion of “randomness extraction” which emerged in complexity theory. We stress that the statistical randomness of our extractor’s output is proven, and is not based on any unproven assumptions, such as the security of cryptographic hash functions.

A sample implementation of our extractor and additional details can be found at a dedicated web page [Web].

Download to read the full conference paper text

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Boaz Barak
    • 1
  • Ronen Shaltiel
    • 1
  • Eran Tromer
    • 1
  1. 1.Department of Computer Science and, Applied MathematicsWeizmann Institute of ScienceRehovotIsrael