Selective Concolic Testing for Hardware Trojan Detection in Behavioral SystemC Designs
Sponsor
This research received financial support in part from National Science Foundation (Grant #: 1908571).
Published In
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)
Document Type
Citation
Publication Date
2020
Abstract
With the growing complexities of modern SoC designs and increasingly shortened time-to-market requirements, new design paradigms such as outsourced design services have emerged. Design abstraction level has also been raised from RTL to ESL. Modern SoC designs in ESL often integrate a variety of third-party behavioral intellectual properties, as well as intensively utilizing EDA tools to improve design productivity. However, this new design trend makes modern SoCs more vulnerable to hardware Trojan attacks. Although hardware Trojan detection has been studied for more than a decade in RTL and lower levels, it has only recently gained attention in ESL designs. In this paper, we present a novel approach for generating test cases by selective concolic testing to detect hardware Trojans in ESL. We have evaluated our approach on an open source benchmark that includes various types of hardware Trojans. The experimental results demonstrate that our approach is able to detect hardware Trojans effectively and efficiently.
Rights
© Copyright 2020 IEEE
Locate the Document
DOI
10.23919/DATE48585.2020.9116384
Persistent Identifier
https://archives.pdx.edu/ds/psu/34362
Publisher
IEEE
Citation Details
Lin, B., Chen, J., & Xie, F. (2020). Selective Concolic Testing for Hardware Trojan Detection in Behavioral SystemC Designs. Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.23919/date48585.2020.9116384