- Article
HT-PGFV: Security-Aware Hardware Trojan Security Property Generation and Formal Security Verification Scheme
- Maoyuan Qin,
- Jiale Li,
- Jiaqi Yan,
- Zishuai Hao,
- Wei Hu and
- Baolong Liu
Property-driven hardware verification provides a promising way to uncover design vulnerabilities. However, developing security properties that check for highly concealed security vulnerabilities remains a significant challenge. In this paper, we prop...