System Verification Through the Temporal Correctness of its Embedded Cores

Main Content

PI: Spyros Tragoudas
Type: New

Our work so far has focused on alien hardware detection in Integrated Chips (IC) using delay measurements and computations. We have proposed an approach to identify locations of alien hardware in the circuit paths by performing Integer Linear Programming Computations (ILP) on a large number of uniquely sensitized measurable paths. We now propose an extended approach to detect alien components (hardware/software) at the system level where in several ICs are interconnected and operate in a highly synchronized manner.

Our goal is to develop a threat monitoring and performance validation framework

  • Capable of validating a system on board
  • Resilient to tampering by authority