Inter-IP Malicious Modification Detection through Static Information Flow Tracking
Inter-IP Malicious Modification Detection through Static Information Flow Tracking
复制标题
通过静态信息流跟踪检测IP间恶意修改
DOI：
10.23919/date54114.2022.9774694
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Guo, Xiaolong
中科院分区：
文献类型：
--
作者：
Liu, Zhaoxiang;Arias, Orlando;Fu, Weimin;Jin, Yier;Guo, Xiaolong
QIF-Verilog：用于硅前安全评估的基于定量信息流的硬件描述语言
DOI：
10.1109/hst.2019.8740840
发表时间：
2019
期刊：
2019 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)
影响因子：
--
作者：
Xiaolong Guo;R. Dutta;Jiaji He;M. Tehranipoor;Yier Jin
通讯作者：
Yier Jin
用于验证 RTL Verilog 的字级谓词抽象和细化技术
DOI：
10.1109/tcad.2007.907270
发表时间：
2008
影响因子：
2.9
作者：
Himanshu Jain;D. Kroening;N. Sharygina;E. Clarke
通讯作者：
E. Clarke