小组研究论文Polar被第19届IEEE/ACM EMSOFT 2019 接收


      清华大学软件系统安全保障小组研究成果论文“Polar: Function Code Aware Fuzz Testing of ICS Protocol”被 IEEE/ACM EMSOFT (International Conference on Embedded Software)2019接收。同时该论文将作为e-only special issue发表在期刊ACM Transactions on Embedded Computing Systems (TECS)上。

      该论文针对工业控制网络协议的模糊测试优化展开研究,根据工业控制网络协议的特点,提出一个通用的模糊测试框架,能够自动化抽取协议中的功能码等关键信息,并将其充分利用于模糊测试,加速模糊测试进程并有效提升代码覆盖率和漏洞检测效率。该工作由博士生罗正雄、高健,硕士生左飞龙等共同完成。

     EMSOFT 是嵌入式软件的顶级会议之一。会议汇集了来自学术界、工业界的研究人员和开发人员,以推动嵌入式软件开发的科学、工程和技术的发展为目标。每年涵盖的领域也非常多,包含:嵌入式软件设计与分析、嵌入式操作系统、形式化建模与验证、嵌入式系统安全等。