网络与信息安全学报2021，Vol.7Issue(2)：35-42,8.DOI:10.11959/j.issn.2096-109x.2021025
基于可满足性无关项的硬件木马设计与检测
Design and detection of hardware Trojan based on satisfiability don't cares
摘要
关键词
硬件安全/硬件木马/可满足性无关项/故障注入/木马检测分类
信息技术与安全科学引用本文复制引用
武玲娟,朱嘉诚,唐时博,谭静,胡伟..基于可满足性无关项的硬件木马设计与检测[J].网络与信息安全学报,2021,7(2):35-42,8.基金项目
国家自然科学基金(62074131) （62074131）
湖北省自然科学基金(2020CFB190) （2020CFB190）
