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
[ Cryptology ePrint archive ]