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 functionsecurity modelspecifications
- 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},
url = {https://eprint.iacr.org/2016/033}
}