小组研究成果被ACM/IEEE会议DAC 2020接收


      清华大学软件系统安全保障小组研究成果“ICS Protocol Fuzzing: Coverage Guided Packet Crack and Generation”被 ACM/IEEE DAC (Design Automation Conference)2020接收。
      该论文针对工业控制网络协议的模糊测试优化展开研究,对传统的基于生成的模糊测试器Peach进行优化改进。该工作从工业控制网络协议的特点出发,提出了将代码覆盖率引入Peach并以此为导向进行种子选取和拆分,进而改进Peach生成策略的思想。经实验发现,该方法可以有效的提升Peach挖掘漏洞的效率。该工作由博士生罗正雄、沈煜恒,硕士生左飞龙等共同完成。
     DAC会议是集成电路辅助设计和嵌入式系统领域的国际顶级会议, 迄今已有57年的历史,主要关注芯片、电路以及系统设计的新工具和新方法。近几年的接收率为20%左右。