Physical Unclonable Functions (PUFs) have not only been suggested as new key storage mechanism, but Ð in the form of socalled łStrong PUFsž Ð also as cryptographic primitives in advanced schemes, including key exchange, oblivious transfer, or secure multiparty computation. This notably extends their application spectrum, and has led to a sequence of publications at leading venues such as IEEE S&P, CRYPTO, and EUROCRYPT in the past [3,6,10,11,29,41]. However, one important unresolved problem is that adversaries can break the security of all these advanced protocols if they gain physical access to the employed Strong PUFs after protocol completion [41]. It has been formally proven [49] that this issue cannot be overcome by techniques on the protocol side alone, but requires resolution on the hardware level Ð the only fully effective known countermeasure being so-called Erasable PUFs [36]. Building on this work, this paper is the first to describe a generic method how any given silicon Strong PUF with digital CRP-interface can be turned into an Erasable PUF. We describe how the Strong PUF can be surrounded with a trusted control logic that allows the blocking (or łerasurež) of single CRPs. We implement our approach, which we call łGeniePUFž, on FPGA, reporting detailed performance data and practicality figures. Furthermore, we develop the first comprehensive definitional framework for Erasable PUFs. Our work so re-establishes the effective usability of Strong PUFs in advanced cryptographic applications, and in the realistic case adversaries get access to the Strong PUF after protocol completion.
CCS CONCEPTS• Hardware → Integrated circuits; • Security and privacy → Embedded systems security.