Cryptology ePrint Archive: Report 2016/033

Towards a Unified Security Model for Physically Unclonable Functions

Frederik Armknecht and Daisuke Moriyama and 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.

Category / Keywords: foundations / Physically unclonable function, security model, specifications

Original Publication (with minor differences): CT-RSA 2016

Date: received 12 Jan 2016

Contact author: dmoriyam at gmail com

Available format(s): PDF | BibTeX Citation

Version: 20160113:114216 (All versions of this report)

Short URL: ia.cr/2016/033