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 条
  • [1] Formal Verification for Hardware Trojan Detection
    Ponugoti, Kushal Kumar
    ProQuest Dissertations and Theses Global, 2023,
  • [2] Property Based Formal Security Verification for Hardware Trojan Detection
    Qin, Maoyuan
    Hu, Wei
    Mu, Dejun
    Tai, Yu
    2018 IEEE 3RD INTERNATIONAL VERIFICATION AND SECURITY WORKSHOP (IVSW), 2018, : 62 - 67
  • [3] Applied Formal Methods for Hardware Trojan Detection
    Rathmair, Michael
    Schupfer, Florian
    Krieg, Christian
    2014 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), 2014, : 169 - 172
  • [4] Hardware Security Analysis of Arbiters: Trojan Modeling and Formal Verification
    Ibrahim, Hala
    Azmi, Haytham
    El-Kharashi, M. Watheq
    Safar, Mona
    2023 IFIP/IEEE 31ST INTERNATIONAL CONFERENCE ON VERY LARGE SCALE INTEGRATION, VLSI-SOC, 2023, : 86 - 91
  • [5] Formal Detection Method for Hardware Vulnerabilities and Trojan of Embedded Devices
    Xie Xiaodong
    Li Qingbao
    Niu Xiaopeng
    INTERNATIONAL CONFERENCE ON GRAPHIC AND IMAGE PROCESSING (ICGIP 2012), 2013, 8768
  • [6] Hardware Trojan Detection through Information Flow Security Verification
    Nahiyan, Adib
    Sadi, Mehdi
    Vittal, Rahul
    Contreras, Gustavo
    Forte, Domenic
    Tehranipoor, Mark
    2017 IEEE INTERNATIONAL TEST CONFERENCE (ITC), 2017,
  • [7] Reusing Verification Assertions as Security Checkers for Hardware Trojan Detection
    Eslami, Mohammad
    Ghasempouri, Tara
    Pagliarini, Samuel
    arXiv, 2022,
  • [8] Reusing Verification Assertions as Security Checkers for Hardware Trojan Detection
    Eslami, Mohammad
    Ghasempouri, Tara
    Pagliarini, Samuel
    PROCEEDINGS OF THE TWENTY THIRD INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN (ISQED 2022), 2022, : 236 - 241
  • [9] Hardware Trojan Detection
    Alluhaib, Ghalia
    Aldissi, Hanan
    Alqarni, Rasha
    Banafee, Shoroq
    Nagro, Wafaa
    Aljandali, Asia
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2020, 20 (03): : 141 - 147
  • [10] A Method of Hardware-Trojan Detection Using Design Verification Techniques
    Hiramoto, Yushiro
    Ohtake, Satoshi
    COMPLEX, INTELLIGENT, AND SOFTWARE INTENSIVE SYSTEMS, 2019, 772 : 978 - 987
12345