近日，我院2023级硕士生王斌斌同学为一作的论文“Identifying SAT Resilient Blocks through LUT Switching Analysis for Breaking Compound Logic Locking Schemes”被可编程逻辑领域顶级会议FPL (International Conference on Field Programmable Logic and Applications)录用。该论文共同作者为王馨慕、张心语、唐时博、周慧思，胡伟；通信作者为胡伟教授。该论文是西北工业大学作为第一署名单位在FPL会议上发表的首篇论文，且全部共同作者均来自我校。

FPL大会是可编程逻辑和可重构计算领域历史最悠久、规模最大的国际会议，是该领域的三大顶级会议之一，自1991年创办以来始终引领着可编程逻辑与可重构计算技术的创新发展。FPL见证了三十余载可重构架构设计、应用、嵌入式处理、设计自动化等领域的重大突破。大会近年来的Full-paper录用率一直在20%左右。第35届FPL大会将于2025年9月在荷兰莱顿召开。

该论文针对集成电路硬件安全领域最新、也最安全的复合型逻辑锁定（Compound logic locking）方案，从可编程逻辑的视角，有效融合现场可编程逻辑门阵列网表（FPGA netlist）层面的设计结构和行为特征，创新性地提出了一种通过识别抗SAT攻击块（Anti-SAT cone）来定位控制点信号（Control point signal），从而获得有关锁定密钥（Locking key）关键线索的方法。论文所提出方法的平均识别成功率高达99.6%，密钥恢复率达到100%。其卓越的性能为未来逻辑锁定方案的安全性评估提供了重要技术参考。

研究成果来自胡伟教授指导的密码与芯片安全研究团队。该团队围绕网络空间安全和集成电路国家战略，聚焦集成电路硬件安全交叉前沿领域，在安全验证与漏洞挖掘、故障诊断与容错、处理器与片上系统安全、密码学等研究领域取得了一系列创新研究成果，并在多家单位的国产芯片设计安全测评中成功应用。在人才培养方面，团队成员在中国研究生网络安全创新大赛揭榜挑战赛、第一届全国集成电路安全挑战赛，中国研究生数学建模竞赛等高水平学科竞赛中屡获佳绩。