collaborators

1 paper

cs.SC2021

A Symbolic Approach to Detecting Hardware Trojans Triggered by Don't Care Transitions

Ruochen Dai, Tuba Yavuz

Due to the globalization of Integrated Circuit (IC) supply chain, hardware trojans and the attacks that can trigger them have become an important security issue. One type of hardwa…