FuCE：基于模糊测试与具体执行引导的可综合硬件设计木马检测

高层次综合 (HLS) 是为机器学习、视频处理等应用设计复杂定制架构的新兴趋势。它提供了更高的抽象层次，并赋予硬件工程师进行软硬件协同设计的自由。然而，它为攻击者插入硬件木马开辟了新的途径。与门级木马相比，此类木马在语义上更有意义且更隐蔽，因此使用最先进的门级木马检测技术难以检测。尽管近期工作已提出检测机制以揭示高层次综合 (HLS) 设计中的此类隐蔽木马，这些技术要么专为现有木马基准量身定制，要么在大型设计上会遇到可扩展性问题。在这项工作中，我们利用灰盒模糊测试与具体执行相结合的力量来探索设计的更深层段并揭示隐蔽木马。实验结果表明，我们提出的框架能够以更少的测试用例自动更快地检测木马，同时达到显著的分支覆盖率，且无需任何手动预处理分析。