Formal Verification for Hardware Trojan Detection

被引：0
|
作者：
Ponugoti, Kushal Kumar [1 ]
机构：
[1] North Dakota State University
来源：
ProQuest Dissertations and Theses Global | 2023年
关键词：
Compilation and indexing terms; Copyright 2024 Elsevier Inc;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Biomedical equipment - Computer circuits - Delay circuits - Formal verification - Integrated circuit design - Malware - Safety engineering - Sensitive data - Side channel attack
引用
收藏
相关论文
共 50 条
  • [41] A Survey of Hardware Trojan Taxonomy and Detection
    Tehranipoor, Mohammad
    Koushanfar, Farinaz
    IEEE DESIGN & TEST OF COMPUTERS, 2010, 27 (01): : 10 - 25
  • [42] Improving hardware Trojan detection by retiming
    Shekarian, Seyed Mohammad Hossein
    Zamani, Morteza Saheb
    MICROPROCESSORS AND MICROSYSTEMS, 2015, 39 (03) : 145 - 156
  • [43] Nonlinear Analysis for Hardware Trojan Detection
    Zhou, Errui
    Zhao, Zhixun
    Li, Shaoqing
    Ni, Lin
    2015 IEEE International Conference on Signal Processing, Communications and Computing (ICSPCC), 2015, : 793 - 796
  • [44] HT-PGFV: Security-Aware Hardware Trojan Security Property Generation and Formal Security Verification Scheme
    Qin, Maoyuan
    Li, Jiale
    Yan, Jiaqi
    Hao, Zishuai
    Hu, Wei
    Liu, Baolong
    ELECTRONICS, 2024, 13 (21)
  • [45] On the feasibility of using evolvable hardware for hardware Trojan detection and prevention
    Labafniya, Mansoureh
    Picek, Stjepan
    Borujeni, Shahram Etemadi
    Mentens, Nele
    APPLIED SOFT COMPUTING, 2020, 91
  • [46] Trojan Playground: A Reinforcement Learning Framework for Hardware Trojan Insertion and Detection
    Sarihi, Amin
    Patooghy, Ahmad
    Jamieson, Peter
    Badawy, Abdel-Hameed A.
    arXiv, 2023,
  • [47] Formal hardware verification: A users' view summary
    Mavaddat, F
    ELEVENTH ANNUAL IEEE INTERNATIONAL ASIC CONFERENCE - PROCEEDINGS, 1998, : 418 - 418
  • [48] Trojan playground: a reinforcement learning framework for hardware Trojan insertion and detection
    Sarihi, Amin
    Patooghy, Ahmad
    Jamieson, Peter
    Badawy, Abdel-Hameed A.
    JOURNAL OF SUPERCOMPUTING, 2024, 80 (10): : 14295 - 14329
  • [49] Formal Verification of Hardware Components in Critical Systems
    Khan, Wilayat
    Kamran, Muhammad
    Naqvi, Syed Rameez
    Khan, Farrukh Aslam
    Alghamdi, Ahmed S.
    Alsolami, Eesa
    WIRELESS COMMUNICATIONS & MOBILE COMPUTING, 2020, 2020
  • [50] Industrial Practice of Formal Hardware Verification: A Sampling
    Ganesh L. Gopalakrishnan
    Warren A. Hunt
    Formal Methods in System Design, 2003, 22 : 95 - 99
12345