Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Info

Title of the paper: Theoretical Limits of Helperless Stabilizers for Physically Unclonable Constants

(extended version of Helper-less physically unclonable functions and chip authentication)

Available at: https://ieeexplore.ieee.org/abstract/document/6998080

ABSTRACT  Physically unclonable constants (PUCs) have recently been proposed for private ID generation. Because in most of the proposed PUC schemes the generated value is not stable (i.e., it can change at different turn-ons), a postprocessing with a stabilizer is usually required. Most of the proposed stabilizer schemes use auxiliary data (helper data) to overcome the inherent randomness of the generation process. However, this complicates the structure of the scheme and poses additional security problems (e.g., helper data can be vectors for attacks), so that there is some interest in stabilizers that do not use helpers (helperless stabilizers). In this paper, we begin the study of the theoretical limits of helperless stabilizers. We show three main results: 1) perfect stability is unachievable; 2) we can make as small as desired the probability that a PUC has low stability; and 3) we can reliably recognize the bad devices at production time and discard them. The proofs of the latter two results are constructive.  

...

The only helperless stabilizer we are aware of is a brute-force exhaustive search for the error pattern proposed in [28].   

OUR CONTRIBUTION

This paper has three main results.

...

Although Algorithm 1 can be used in practice, no claim is done about its optimality. Actually, the problem of constructing the optimal helper-less stabilizer for a given RPUC is still open.

...

image-20241018-133506.png

image-20241018-133728.png

Note that if the distribution of Q changes because of aging or environmental variations, the right hand side of (23) will be likely to change too. If (23) is going to be used in a real design, a possible approach is to consider the worst case and take for K the maximum of (23), taken over all the environment
conditions.

Note that the right hand side of (23) is likely to be a ``pessimistic'' bound, since it is derived from Chebyshev's inequality. A less pessimistic bound can be derived by approximating mq (mean of q) with a Gaussian variable.

...

EXAMPLES OF STABILIZER DESIGNS

image-20241018-134515.png

image-20241018-134548.png

(I think they referred to the Dark Bit approach defined in [32])

...

image-20241018-140739.png

image-20241018-140901.pngimage-20241018-140924.png

image-20241018-140938.pngimage-20241018-141102.png

image-20241018-141156.png


THE QUASI-GLOBAL STABILITY APPROACH

...