Hardware/software security co-verification and vulnerability detection: An information flow perspective

Autor: Qin, Maoyuan, Zhu, Jiacheng, Mao, Baolei, Hu, Wei
Zdroj: In Integration January 2024 94
Databáze: ScienceDirect