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

Maoyuan Qin, Jiacheng Zhu, Baolei Mao, Wei Hu 0008. Hardware/software security co-verification and vulnerability detection: An information flow perspective. Integration, 94:102089, January 2024. [doi]

Abstract

Abstract is missing.