小组研究成果被ACM期刊TOSEM 2023接收

清华大学软件系统安全保障小组研究成果“Horus: Accelerating Kernel Fuzzing Through Efficient Host-VM Memory Access Procedures”被期刊ACM Transactions on Software Engineering and Methodology接收。该论文提出了Horus——一种用于内核模糊测试工具的加速方法。本方法的实现主要基于以下的事实：现有主流内核模糊测试器中存在较大的宿主机——虚拟机间数据传输开销，由此导致内核模糊测试器测试效率有较大提升空间。本工作主要通过宿主机端通过固定stub结构体和快速传输方法，绕过原有的传输机制从而直接读写虚拟机内的相关数据，从而大幅度提高访问效率，降低运行时开销，并相应地提高内核模糊测试性能。经测试，Horus能够有效提高Syzkaller和Moonshine的执行吞吐率，提高幅度达31.07%和30.62%。该工作由博士生刘健中、沈煜恒，硕士生徐意如、孙浩等共同参与完成。

ACM Transactions on Software Engineering and Methodology是软件工程领域著名期刊，也是CCF推荐A类期刊，主要发表软件测试与验证、软件系统设计与方法等领域的前沿研究工作，目前的影响因子为3.685。