Inst. of Comput. Technol., Vienna Univ. of Technol., Vienna, Austria;
Formal Verification; Hardware Trojan; Model Checking; design-level Trojan;
机译:真实过程和环境条件下检测硬件木马功率信号方法的灵敏度分析
机译:旁信道分析的硬件木马检测方法
机译:无金色处理器硬件木马检测使用位功率一致性分析
机译:使用验证方法检测设计级硬件特洛伊木马的过程
机译:用于不受信任的FPGA比特流中的硬件木马检测的多参数功能侧信道分析方法。
机译:筹码中的硬件特洛伊木马:检测和预防调查
机译:侧通道分析的硬件特洛伊木马检测方法
机译:针对硬件特洛伊木马的硬件设计信任技术,检测策略和度量标准。