写博客>>
日立2021
2021年11月14日星期日至20日星期六澳大利亚
2021年11月17日星期三19:50-20:00袋鼠-检测 主席:高翠云

维护软件中的机密信息控制是一个持续存在的安全问题,其中故障意味着可以通过程序行为泄露机密。信息流控制技术传统上是基于静态或符号分析的,可伸缩性有限,专门用于特定语言。当程序确实泄漏机密时,没有办法自动修复它们,除非泄漏导致功能测试失败。我们提出了HyperGI的愿景,这是一个检测、定位和修复信息泄漏的基因改进框架。HyperGI的关键要素包括(1)使用两个正交测试套件,(2)评估和定位潜在泄漏的动态泄漏检测方法,以及(3)使用遗传改进生成候选补丁的修复组件。我们演示了HyperGI在几个没有失败功能测试的程序上的成功使用。我们手动检查生成的补丁,并确定权衡和未来方向,以充分实现我们的愿景。

11月17日星期三

显示的时区:霍巴特 改变

19:00 - 20:00
检测研究论文/NIER轨道袋鼠
主席:高翠云哈尔滨工业大学
19:00
2000万
谈话
事件驱动Node.js应用程序的竞争检测
研究论文
张晓宁中国科学院软件研究所,窦文胜中国科学院软件研究所;中国科学院大学,魏军(Jun Wei)中国科学院软件研究所;中国科学院大学,陶晃中国科学院软件研究所,谢金辉腾讯公司。,邓跃堂腾讯,杨建波腾讯公司。,杨嘉恒腾讯公司。
19:20
2000万
谈话
无需日志解析的基于日志的异常检测
研究论文
Van-Hoang Le公司纽卡斯尔大学,张宏宇纽卡斯尔大学
链接到出版物内政部预打印
19:40
1000万
谈话
记录异常以解决:基于AI的主动事件补救
NIER轨道
19:50
1000万
谈话
HyperGI:信息流泄漏的自动检测和修复
NIER轨道
易卜拉欣·梅塞坎爱荷华州立大学,丹尼尔·布莱克威尔伦敦大学学院,克拉克伦敦大学学院,迈拉·科恩爱荷华州立大学,朱丝蒂娜·佩特克伦敦大学学院
预打印