Information flow tracking (IFT) is a fundamental computer security technique used to
understand how information moves through a computing system. Hardware IFT techniques …

Software security defenses are routinely broken by the persistence of both security
researchers and attackers. Hardware solutions based on tagging are emerging as a …

Dynamic Information Flow Tracking (dynamic IFT) is a well-known technique with many
security applications such as analyzing the behavior of a system given an input and …

We propose three orthogonal techniques to secure Register-Transfer-Level (RTL)
Intellectual Property (IP). In the first technique, the key-based RTL obfuscation scheme is …

Modern electronic systems become evermore complex, yet remain modular, with integrated
circuits (ICs) acting as versatile hardware components at their heart. Electronic design …

High-Performance Big Data Analytics (HPDA) applications are characterized by huge
volumes of distributed and heterogeneous data that require efficient computation for …

The globalization of the manufacturing process and the supply chain for electronic hardware
has been driven by the need to maximize profitability while lowering risk in a technologically …

High-level synthesis (HLS) is essential to map the high-level language (HLL) description
(eg, in C/C++) of hardware design to the corresponding Register Transfer Level (RTL) to …

Information flow tracking was proposed more than 40 years ago to address the limitations of
access control mechanisms to guarantee the confidentiality and integrity of information …

Isadora is a methodology for creating information flow specifications of hardware designs.
The methodology combines information flow tracking and specification mining to produce a …