University of Arkansas;
机译:使用属性检查技术在行为知识产权(IP)中检测硬件木马
机译:使用可重新配置的声明检查器检测硬件木马
机译:走向硬件特洛伊木马的双向LUT级别检测
机译:使用模型检查器将硬件木马的电路行为表现转换为运行时木马检测监视器
机译:一种可靠且高效的安全方法,用于检测硬件木马和基于FPGA的系统的身份验证
机译:筹码中的硬件特洛伊木马:检测和预防调查
机译:实施硬件木马:从硬件木马挑战中获得的经验
机译:针对硬件特洛伊木马的硬件设计信任技术,检测策略和度量标准。