可满足性无关项相关硕士博士期刊学术论文 - 信丰网

可满足性无关项相关论文

基于可满足性无关项的硬件木马设计与检测

硬件木马是集成电路中隐含的恶意设计修改,被激活后可用于发起高效的底层攻击。由此,展示了一种新的利用可满足性无关项的轻量级高......

期刊

硬件安全硬件木马可满足性无关项故障注入木马检测 hardware security hardware Trojan satisfiability don

看过本文同时还关注