Chapter

Advances in Cryptology – CRYPTO 2011

Volume 6841 of the series Lecture Notes in Computer Science pp 51-70

Physically Uncloneable Functions in the Universal Composition Framework

  • Christina BrzuskaAffiliated withLancaster UniversityCenter for Advanced Security Research Darmstadt, Darmstadt University of Technology
  • , Marc FischlinAffiliated withLancaster UniversityCenter for Advanced Security Research Darmstadt, Darmstadt University of Technology
  • , Heike SchröderAffiliated withLancaster UniversityCenter for Advanced Security Research Darmstadt, Darmstadt University of Technology
  • , Stefan KatzenbeisserAffiliated withLancaster UniversityCenter for Advanced Security Research Darmstadt, Darmstadt University of Technology

Abstract

Recently, there have been numerous works about hardwareassisted cryptographic protocols, either improving previous constructions in terms of efficiency, or in terms of security. In particular, many suggestions use Canetti’s universal composition (UC) framework to model hardware tokens and to derive schemes with strong security guarantees in the UC framework. In this paper, we augment this approach by considering Physically Uncloneable Functions (PUFs) in the UC framework. Interestingly, when doing so, one encounters several peculiarities specific to PUFs, such as the intrinsic non-programmability of such functions. Using our UC notion of PUFs, we then devise efficient UC-secure protocols for basic tasks like oblivious transfer, commitments, and key exchange. It turns out that designing PUF-based protocols is fundamentally different than for other hardware tokens. For one part this is because of the non-programmability. But also, since the functional behavior is unpredictable even for the creator of the PUF, this causes an asymmetric situation in which only the party in possession of the PUF has full access to the secrets.