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 条
  • [21] THE FORMAL DESCRIPTION AND VERIFICATION OF HARDWARE TIMING
    MILNE, GJ
    IEEE TRANSACTIONS ON COMPUTERS, 1991, 40 (07) : 811 - 826
  • [22] Formal specification and verification of hardware designs
    Ramesh, S
    Rao, SSSP
    Sivakumar, G
    Bhaduri, P
    PHOTOMASK AND X-RAY MASK TECHNOLOGY V, 1998, 3412 : 261 - 268
  • [23] FORMAL VERIFICATION OF SEQUENTIAL HARDWARE - A TUTORIAL
    MCFARLAND, MC
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1993, 12 (05) : 633 - 654
  • [24] Formal verification and hardware design with statecharts
    Philipps, J
    Scholz, P
    PROSPECTS FOR HARDWARE FOUNDATIONS: ESPRIT WORKING GROUP 8533 NADA - NEW HARDWARE DESIGN METHODS SURVEY CHAPTERS, 1998, 1546 : 356 - 389
  • [25] Formal Hardware Verification of InfoSec Primitives
    Basiri, Mohamed Asan M.
    Shukla, Sandeep K.
    2019 IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI (ISVLSI 2019), 2019, : 140 - 146
  • [26] Formal hardware verification with BDDs: An introduction
    Hu, AJ
    1997 IEEE PACIFIC RIM CONFERENCE ON COMMUNICATIONS, COMPUTERS AND SIGNAL PROCESSING, VOLS 1 AND 2: PACRIM 10 YEARS - 1987-1997, 1997, : 677 - 682
  • [27] Formal specification in VHDL for hardware verification
    Reetz, R
    Schneider, K
    Kropf, T
    DESIGN, AUTOMATION AND TEST IN EUROPE, PROCEEDINGS, 1998, : 257 - 263
  • [28] Hardware/Software Formal Co-Verification using Hardware Verification Techniques
    Nguyen, Minh D.
    Kunz, Wolfgang
    2012 FOURTH INTERNATIONAL CONFERENCE ON COMMUNICATIONS AND ELECTRONICS (ICCE), 2012, : 465 - 470
  • [29] Survey of Hardware Trojan Threats and Detection
    Hayashi, Yuichi
    Kawamura, Shinichi
    PROCEEDINGS OF THE 2020 INTERNATIONAL SYMPOSIUM ON ELECTROMAGNETIC COMPATIBILITY (EMC EUROPE), 2020,
  • [30] Survey: Hardware Trojan Detection for Netlist
    Yang, Yipei
    Ye, Jing
    Cao, Yuan
    Zhang, Jiliang
    Li, Xiaowei
    Li, Huawei
    Hu, Yu
    2020 IEEE 29TH ASIAN TEST SYMPOSIUM (ATS), 2020, : 48 - 53
12345