Hardware property checker for run-time Hardware Trojan detection

被引：0
|
作者：
Institut MINES-TELECOM, TELECOM ParisTech, CNRS LTCI, UMR 5141, Paris Cedex 13 [1 ]
75634, France
不详 [2 ]
35510, France
机构：
来源：
Eur. Conf. Circuit Theory Des., ECCTD | 2015年
关键词：
Engineering Village;
D O I：
7300085
中图分类号：
学科分类号：
摘要：
Assertions - Circuit operation - Critical properties - Hardware Trojan detection - Property specification language - Runtimes - Software vulnerabilities - State of the art
引用
收藏
相关论文
共 50 条
  • [1] Hardware Property Checker for Run-Time Hardware Trojan Detection
    Ngo, Xuan Thuy
    Danger, Jean-Luc
    Guilley, Sylvain
    Najm, Zakaria
    Emery, Olivier
    [J]. 2015 EUROPEAN CONFERENCE ON CIRCUIT THEORY AND DESIGN (ECCTD), 2015, : 97 - 100
  • [2] Run-Time Hardware Trojan Detection Using Performance Counters
    Elnaggar, Rana
    Chakrabarty, Krishnendu
    Tahoori, Mehdi B.
    [J]. 2017 IEEE INTERNATIONAL TEST CONFERENCE (ITC), 2017,
  • [3] Temperature Tracking: An Innovative Run-Time Approach for Hardware Trojan Detection
    Forte, Domenic
    Bao, Chongxi
    Srivastava, Ankur
    [J]. 2013 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2013, : 532 - 539
  • [4] PCB Hardware Trojan Run-Time Detection Through Machine Learning
    Piliposyan, Gor
    Khursheed, Saqib
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 2023, 72 (07) : 1958 - 1970
  • [5] LAOCOON: A Run-time Monitoring and Verification Approach for Hardware Trojan Detection
    Danger, Jean-Luc
    Fribourg, Laurent
    Naceur, Maha
    Kuhne, Ulrich
    [J]. 2019 22ND EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), 2019, : 269 - 276
  • [6] High-Level Synthesis for Run-Time Hardware Trojan Detection and Recovery
    Cui, Xiaotong
    Ma, Kun
    Shi, Liang
    Wu, Kaijie
    [J]. 2014 51ST ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2014,
  • [7] Secure Run-Time Hardware Trojan Detection Using Lightweight Analytical Models
    Amornpaisannon, Burin
    Diavastos, Andreas
    Peh, Li-Shiuan
    Carlson, Trevor E.
    [J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2024, 43 (02) : 431 - 441
  • [8] Run-Time Hardware Trojan Detection in Analog and Mixed-Signal ICs
    Pavlidis, Antonios
    Faehn, Eric
    Louerat, Marie-Minerve
    Stratigopoulos, Haralampos-G
    [J]. 2022 IEEE 40TH VLSI TEST SYMPOSIUM (VTS), 2022,
  • [9] Partial Reconfiguration for Run-time Memory Faults and Hardware Trojan Attacks Detection
    Li, Ying
    Chen, Lan
    Wang, Jian
    Gong, Guanfei
    [J]. 2022 IEEE INTERNATIONAL SYMPOSIUM ON HARDWARE ORIENTED SECURITY AND TRUST (HOST), 2022, : 173 - 176
  • [10] Run-Time Hardware Trojan Detection in Analog and Mixed-Signal ICs
    Pavlidis, Antonios
    Faehn, Eric
    Louerat, Marie-Minerve
    Stratigopoulos, Haralampos-G.
    [J]. Proceedings of the IEEE VLSI Test Symposium, 2022, 2022-April
12345