Survey on model checking based hardware Trojan detection technology

Hardware Trojan is malicious tampering to the original circuit, which has become the most important security threat of integrated circuit.In order to ensure the safety and reliability of ICs, many hardware Trojan detection methods are proposed.As one of the formal verification methods, model checkin...

Full description

Saved in:
Bibliographic Details
Main Authors: Qizhi ZHANG, Yiqiang ZHAO, Ya GAO, Haocheng MA
Format: Article
Language:English
Published: POSTS&TELECOM PRESS Co., LTD 2021-04-01
Series:网络与信息安全学报
Subjects:
Online Access:http://www.cjnis.com.cn/thesisDetails#10.11959/j.issn.2096-109x.2021029
Tags: Add Tag
No Tags, Be the first to tag this record!