第一篇论文Rise of the HaCRS: Augmenting Autonomous Cyber Reasoning Systems with Human Assistance是UCSB shellphis团队最新力作,介绍了HaCRS这个在他们CGC比赛之后发展起来的结合机器推理和人工分析的自动化程序漏洞挖掘工具,想要了解更多细节可以关注工具的主页; 第二篇论文介绍了我们上海交通大学以及加州大学伯克利分...