Towards a Unified Security Model for Physically Unclonable Functions

Frederik Armknecht; Daisuke Moriyama; Ahmad-Reza Sadeghi; Moti Yung

Paper 2016/033

Towards a Unified Security Model for Physically Unclonable Functions

Frederik Armknecht, Daisuke Moriyama, Ahmad-Reza Sadeghi, and Moti Yung

Abstract

The use of Physically Unclonable Functions (PUFs) in cryptographic protocols attracted an increased interest over recent years. Since sound security analysis requires a concise specification of the alleged properties of the PUF, there have been numerous trials to provide formal security models for PUFs. However, all these approaches have been tailored to specific types of applications or specific PUF instantiations. For the sake of applicability, composability, and comparability, however, there is a strong need for a unified security model for PUFs (to satisfy, for example, a need to answer whether a future protocol requirements match a new and coming PUF realization properties). In this work, we propose a PUF model which generalizes various existing PUF models and includes security properties that have not been modeled so far. We prove the relation between some of the properties, and also discuss the relation of our model to existing ones.

Metadata

Available format(s): PDF
Category: Foundations
Publication info: Published elsewhere. MINOR revision.CT-RSA 2016
Keywords: Physically unclonable function security model specifications
Contact author(s): dmoriyam @ gmail com
History: 2016-01-13: received
Short URL: https://ia.cr/2016/033
License: CC BY

BibTeX

@misc{cryptoeprint:2016/033,
      author = {Frederik Armknecht and Daisuke Moriyama and Ahmad-Reza Sadeghi and Moti Yung},
      title = {Towards a Unified Security Model for Physically Unclonable Functions},
      howpublished = {Cryptology ePrint Archive, Paper 2016/033},
      year = {2016},
      note = {\url{https://eprint.iacr.org/2016/033}},
      url = {https://eprint.iacr.org/2016/033}
}