Secure and Reliable Hardware

The continued downscaling of silicon-based components introduces electronic systems with high operating frequencies, low operation voltage, and smaller feature size. Consequently, the probability of having permanent faults or transient errors that may corrupt the information processing has increased, and a reliable operation of electronic systems has become a critical issue in system design. Another parameter that has become critical is the defensibility of electronic systems against cryptanalysis attacks and Trojan hardware. Thus, new design techniques that can cope with an attacker have become important more than ever.

The main goal of the research is to introduce a unified approach to the design of both reliable and secure systems and to study new methods for designing codes that can detect and correct arbitrary errors from a non-stationary computation channels for which the errors cannot be modeled as unidirectional errors or as few bit-flips. It is planned to combine techniques from coding theory and spectral analysis of digital systems which suggest a natural way to formulate the primary requirements to construct such code.

Research topics:

  • SED and SEC-DED robust and partially robust codes
  • Constructions of asymptotically optimal robust codes
  • The undetected error probability of punctured robust codes
  • Codes for multi-level Flash memories
  • Concurrent error correcting codes for TCAMs
  • Strong robust codes
  • Context-oriented codes for concurrent error detection in combinatorial circuits
  • ASM based Trojan detection mechanisms

Table of best CpC codes