Hardware security and reliability verification based on fault propagation model
Large scale integrate circuits is facing serious threat such as design vulnerabilities, side channels, and hardware Trojans. Traditional functional verification method is difficult to ensure high test coverage, and it is also difficult to detect security vulnerabilities such as side channels and ste...
Main Authors: | ZHANG Xige, ZHU Jiacheng, MA Jun, SHEN Lixiang, ZHOU Jiahui, MU Dejun |
---|---|
Format: | Article |
Language: | zho |
Published: |
EDP Sciences
2024-02-01
|
Series: | Xibei Gongye Daxue Xuebao |
Subjects: | |
Online Access: | https://www.jnwpu.org/articles/jnwpu/full_html/2024/01/jnwpu2024421p92/jnwpu2024421p92.html |
Similar Items
-
PROMELA based formal verification for safety-critical software
by: XING Liang, et al.
Published: (2022-10-01) -
XLPE光电复合海底电缆故障类型诊断方法
by: 宋士刚, et al.
Published: (2014-01-01) -
WPDRRC信息安全模型在安全等级保护中的应用
by: 姚传军
Published: (2010-01-01) -
Development tendency in hardware trojan circuit detection(硬件木马电路检测技术及发展趋势)
by: CHENHuafeng(陈华锋), et al.
Published: (2014-01-01) -
基于文本信息抽取的列控车载设备故障发现
by: 陈曦, et al.
Published: (2021-06-01)