Testability Analysis of PUFs Leveraging Correlation-Spectra in Boolean Functions

10/20/2018
by   Durba Chatterjee, et al.
0

Testability of digital ICs rely on the principle of controllability and observability. Adopting conventional techniques like scan-chains open up avenues for attacks, and hence cannot be adopted in a straight-forward manner for security chips. Furthermore, testing becomes incredibly challenging for the promising class of hardware security primitives, called PUFs, which offer unique properties like unclonability, unpredictibility, uniformity, uniqueness, and yet easily computable. However, the definition of PUF itself poses a challenge on test engineers, simply because it has no golden response for a given input, often called challenge. In this paper, we develop a novel test strategy considering that the fabrication of a batch of N>1 PUFs is equivalent to drawing random instances of Boolean mappings. We hence model the PUFs as black-box Boolean functions of dimension m×1, and show combinatorially that random designs of such functions exhibit correlation-spectra which can be used to characterize random and thus good designs of PUFs. We first develop theoretical results to quantize the correlation values, and subsequently the expected number of pairs of such Boolean functions which should belong to a given spectra. In addition to this, we show through extensive experimental results that a randomly chosen sample of such PUFs also resemble the correlation-spectra property of the overall PUF population. Interestingly, we show through experimental results on 50 FPGAs that when the PUFs are infected by faults the usual randomness tests for the PUF outputs such as uniformity, fail to detect any aberration. However, the spectral-pattern is clearly shown to get affected, which we demonstrate by standard statistical tools. We finally propose a systematic testing framework for the evaluation of PUFs by observing the correlation-spectra of the PUF instances under test.

READ FULL TEXT

page 1

page 3

research
03/13/2019

New Characterizations for the Multi-output Correlation-Immune Boolean Functions

In stream ciphers, the correlation-immune functions serve as an importan...
research
11/27/2018

Generic constructions of 5-valued spectra Boolean functions

Whereas the design and properties of bent and plateaued functions have b...
research
03/13/2019

The Fourier Spectral Characterization for the Correlation-Immune Functions over Fp

The correlation-immune functions serve as an important metric for measur...
research
04/25/2021

Following Forrelation – Quantum Algorithms in Exploring Boolean Functions' Spectra

Here we revisit the quantum algorithms for obtaining Forrelation [Aarons...
research
06/15/2023

A Search for Nonlinear Balanced Boolean Functions by Leveraging Phenotypic Properties

In this paper, we consider the problem of finding perfectly balanced Boo...
research
09/15/2020

New Instances of Quadratic APN Functions

By applying a recursive tree search, we find many new instances of quadr...
research
07/20/2022

Mathematical Model of Strong Physically Unclonable Functions Based on Hybrid Boolean Networks

We introduce a mathematical framework for simulating Hybrid Boolean Netw...

Please sign up or login with your details

Forgot password? Click here to reset