Additive Delay Model

The Additive Delay Model [GCvDD02] can be used to model Arbiter PUFs as well as Arbiter PUF-based constructions, such as the XOR Arbiter PUF, the Lightweight Secure PUF, the Permutation PUF, and the Interpose PUF. It can be extended by a noise model based on Gaussian random variables, which has been shown to highly accurate [DV13].

This module contains LTFArray, a simulation implementation of the Additive Delay Model, as well as NoisyLTFArray, an implementation of the Additive Delay Model with Gaussian noise.

Note

pypuf’s implementation of the Additive Delay Model uses \(\{-1,1\}\) to represent bit values both for challenges and responses.

Note

All simulations based on the Additive Delay Model in pypuf use numpy.int8 to represent bit values, i.e. for each challenge or response bit, one byte of memory is allocated. While inefficient in terms of required memory, this provides faster evaluation performance than storing one logical bit in one bit of memory.

Modeling of Delay Values

Todo

Add derivation of Additive Delay Model from circuit

Implementation of the Additive Delay Model

Modeling of Noise

Todo

Add overview of NoisyLTFArray.