Presentation
An Application of Information Flow Tracking to Hardware Trojan Detection
DescriptionWhile outsourcing hardware designs using FPGA (Field Programmable Gate Array) enables cost optimization in manufacturing, hardware-Trojan insertion becomes a potential threat to industrial fields. In this paper, we propose a system that applies IFT (Information Flow Tracking) to detect hardware Trojans inserted into a DUT (Design Under Test) written in HDL (Hardware Description Language). Unlike existing IFT techniques for DUTs, our implementation tracks the information flow of multiple variables in simulation. This allows flexible assertion policies used for testing. By checking if a DUT violates any given policies, our system detects a Trojan with extracting a statement in HDL and its condition for execution related to the Trojan. These are useful to understand the location of the Trojan and its trigger condition.
Event Type
Work-in-Progress Poster
TimeTuesday, June 256:00pm - 7:00pm PDT
LocationLevel 2 Lobby
AI
Autonomous Systems
Cloud
Design
EDA
Embedded Systems
IP
Security