【InForSec2023 年会论坛回顾】张殷乾：打造机密计算的安全底座

By | | SecTalk
【InForSec2023 年会论坛回顾】张殷乾：打造机密计算的安全底座已关闭评论

张殷乾教授作为南方科技大学斯发基斯可信自主系统研究院信息安全研究中心主任，在体系结构安全、系统与软件安全、机密计算、云计算、区块链、物联网/移动终端等领域均进行了深入研究。张教授首先介绍了自己这些年来的主要研究方向和研究成果，而本次报告的主要内容是张教授近年来在机密计算领域的系列研究成果——“打造机密计算的安全底座”。 Continue reading →

【NDSS 2022 论文分享】多目标协同引导的灰盒模糊测试

By | | SecComm
【NDSS 2022 论文分享】多目标协同引导的灰盒模糊测试已关闭评论

覆盖率引导的灰盒模糊测试技术（Coverage-guided grey-box fuzzing，简称CGF）作为模糊测试技术的一种重要分支，最近受到了研究人员广泛的关注。相比最简单的黑盒模糊测试以及复杂的白盒模糊测试技术，覆盖率引导的灰盒模糊测试技术的关键在于通过简易的插桩使代码覆盖率最大化。从本质上讲，灰盒模糊测试技术是一个优化问题，优化问题的关键是在输入空间中搜索最优解并对目标进行优化，对目标进行优化意味着搜索能使目标数值达到最大或者最小值的输入。在覆盖率引导的灰盒模糊测试中，首要的目标是代码覆盖率，因此它的目标是将覆盖率最大化。 Continue reading →

5大专题论坛22个顶会报告！InForSec 2023年网络空间安全国际学术研究成果分享及青年学者论坛在南方科技大学成功召开

By | | SecTalk
5大专题论坛22个顶会报告！InForSec 2023年网络空间安全国际学术研究成果分享及青年学者论坛在南方科技大学成功召开已关闭评论

2023年4月8日～9日，由InForSec、南方科技大学斯发基斯可信自主系统研究院、清华大学网络科学与网络空间研究院、复旦大学软件学院系统软件与安全实验室、国科学院计算技术研究所处理器芯片全国重点实验室、中国科学院软件研究所可信计算与信息保障实验室、中国科学院大学国家计算机网络入侵防范中心、浙江大学NESA Lab、山东大学网络空间安全学院、百度安全、奇安信集团、蚂蚁集团、阿里安全等单位联合主办的“InForSec 2023年网络空间安全国际学术研究成果分享及青年学者论坛”在南方科技大学成功召开。来自清华大学、复旦大学、浙江大学、北京邮电大学、中国科学院大学等66所高校及科研院所的230余人现场出席会议，900余人通过视频会议系统及直播系统参与了本次论坛。 Continue reading →

【Usenix Security 2022论文分享】StateFuzz: 状态敏感的Linux内核驱动模糊测试

By | | SecComm
【Usenix Security 2022论文分享】StateFuzz: 状态敏感的Linux内核驱动模糊测试已关闭评论

为了处理内在的随机性，很多模糊测试方案遵循AFL的步骤，利用代码覆盖率来指导模糊测试的探索过程。一般来说，他们优先考虑命中新代码的测试用例（即有助于提高代码覆盖率），并将它们用作进一步探索的起点。尽管这种方法取得了巨大成功，但覆盖引导的模糊测试解决方案也有许多局限性。最关键的限制是此类解决方案以代码覆盖为中心，并且在探索测试用例搜索空间时对其他反馈不敏感。 Continue reading →