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