Security; Logic gates; Hardware; Integrated circuit modeling; Trojan horses; Complexity theory; Semantics;
机译:运行时硬件Trojan通过使用正式验证对突发模式通信建模来监视
机译:面向物联网中的FPGA安全:硬件木马的新检测技术
机译:使用不受信任的模块检测第三方知识产权中的硬件木马
机译:用于硬件木马检测的基于属性的形式安全验证
机译:一种可靠且高效的安全方法,用于检测硬件木马和基于FPGA的系统的身份验证
机译:基于DM的无线加密ICS的模拟硬件特洛伊木马设计与检测
机译:用隐蔽频道验证和检测无线泄漏硬件特洛伊木马