Symbolic execution based test-patterns generation algorithm for hardware Trojan detection

Shen, Lixiang; Mu, Dejun; Cao, G. F.; Qin, Maoyuan; Blackstone, Jeremy; Kastner, Ryan

doi:10.1016/j.cose.2018.07.006

Cited by 11 publications

(1 citation statement)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The main purpose of Shen et al [ 159 ] is that generating a valid test pattern detects hardware triggers that are triggered in the internal RTL code. They analyze the Verilog HDL code generation control flow graphs (CFGs) in the gate-level netlist and use the symbolic execution and metamorphosis tests to generate the expected test vectors.…”

Section: The Prediction Of Future Trendmentioning

confidence: 99%

Hardware Trojans in Chips: A Survey for Detection and Prevention

Dong

Liu

et al. 2020

Sensors

View full text Add to dashboard Cite

Diverse and wide-range applications of integrated circuits (ICs) and the development of Cyber Physical System (CPS), more and more third-party manufacturers are involved in the manufacturing of ICs. Unfortunately, like software, hardware can also be subjected to malicious attacks. Untrusted outsourced manufacturing tools and intellectual property (IP) cores may bring enormous risks from highly integrated. Attributed to this manufacturing model, the malicious circuits (known as Hardware Trojans, HTs) can be implanted during the most designing and manufacturing stages of the ICs, causing a change of functionality, leakage of information, even a denial of services (DoS), and so on. In this paper, a survey of HTs is presented, which shows the threatens of chips, and the state-of-the-art preventing and detecting techniques. Starting from the introduction of HT structures, the recent researches in the academic community about HTs is compiled and comprehensive classification of HTs is proposed. The state-of-the-art HT protection techniques with their advantages and disadvantages are further analyzed. Finally, the development trends in hardware security are highlighted.

show abstract

Section: The Prediction Of Future Trendmentioning

confidence: 99%