Menu
Home
Log in / Register
 
Home arrow Computer Science arrow Hardware Security and Trust: Design and Deployment of Integrated Circuits in a Threatened Environment
Source

Unpredictability

The unpredictability property can be directly inherited from the definition of mathematical unclonability, Eq. 10.2a.

What is requested to be unpredictable for a function is the inability to create a procedure Ф that, having a certain amount of challenge-response pairs Ф for a PUF в, is able to provide the same output of в for a generic challenge c. The existence of this procedure is in direct contrast with the unclonability because Ф represents a mathematical clone that can predict the в responses. Moreover, in the degeneracy case when Ф = 0, the statement 10.4 is equivalent to the Eq. 10.2a

One-Way Property

Formally в is a one-way function given г = в (c) it is hard to find A : А (r) = c and в (c) = r, Vc e C c C. As for hash functions, in this definition “hard” is meant in the computational theory sense, so that given one output r of a PUF в, it is very expansive, in terms of computation resources and time, to find one input c such that

в (c) = r.

Feasibility

Being an integrated circuit, a PUF inevitably introduces an overhead in area and time. As for the occupied area, the circuit has to extract the physical information and maybe implementing the challenge/response mechanism. As for the time overhead, the response extraction could require a significant amount of time, especially when the architecture is provided with a post-processing algorithm that has to be ran. Given в e & and c e C, в is feasible if it is not hard to evaluate в (c).

Tamper-Evident

The PUF в is tamper-evident if any attempt to tamper the circuit permanently changes its CRPs set, obtaining a new PUF в' : в' (c) ^ в (c), Vc e C.

 
Source
Found a mistake? Please highlight the word and press Shift + Enter  
< Prev   CONTENTS   Next >
 
Subjects
Accounting
Business & Finance
Communication
Computer Science
Economics
Education
Engineering
Environment
Geography
Health
History
Language & Literature
Law
Management
Marketing
Mathematics
Political science
Philosophy
Psychology
Religion
Sociology
Travel