软件安全国内外研究团队调研报告(下)|技术进展 FuzzWiki 1 year 1 month ago 为了方便广大研究人员及时跟进该领域的最新研究进展,促进该领域学者的相互交流,我们对国内外软件安全领域的代表性科研团队及其主要研究方向进行了总结,形成了本调研报告。
软件安全国内外研究团队调研报告(上)|技术进展 FuzzWiki 1 year 1 month ago 为了方便广大研究人员及时跟进该领域的最新研究进展,促进该领域学者的相互交流,我们对国内外软件安全领域的代表性科研团队及其主要研究方向进行了总结,形成了本调研报告。
TitanFuzz:基于大语言模型对深度学习库进行模糊测试|技术进展 FuzzWiki 1 year 1 month ago 本文提出并实现了TitanFuzz,第一个通过大型预训练语言模型对深度学习库进行模糊测试的例子。展示了直接利用现代LLM进行模糊测试的前景。
ItyFuzz:基于快照的智能合约模糊测试|技术进展 FuzzWiki 1 year 1 month ago 本文设计了一个新的基于快照的智能合约模糊测试工具 ItyFuzz,用于有效地存储中间状态以减少重复执行的开销,实现了两种自定义的路径反馈机制,以高效地对有趣的状态进行分类和存储,实现更好的程序探索。
CC:深度神经网络的因果关系感知覆盖度量|技术进展 FuzzWiki 1 year 4 months ago 本文设计CC,一个感知因果关系的覆盖度量标准。从因果关系的角度理解整个深度神经网络的运行过程,为保证计算性能和有效性采用了一系列的优化措施。