The Mayhem Cyber Reasoning System

被引：17

作者：

Avgerinos, Thanassis ^{[1
]}

Brumley, David ^{[1
]}

Davis, John ^{[1
]}

Goulden, Ryan ^{[1
]}

Nighswander, Tyler ^{[1
]}

Rebert, Alex ^{[1
]}

Williamson, Ned ^{[1
]}

机构：

[1] ForAllSecure, Pittsburgh, PA 15213 USA

来源：

IEEE SECURITY & PRIVACY | 2018年 / 16卷 / 02期

关键词：

debugging; formal methods; Hacking without Humans; program verification; security; software engineering; testing;

D O I：

10.1109/MSP.2018.1870873

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Mayhem, one of the first generation of autonomous computer security bots that finds and fixes vulnerabilities without human intervention, won the DARPA Cyber Grand Challenge in August 2016. In this article, we detail Mayhem's creation and look forward to a future where autonomous bots will radically improve computer system security.

引用

页码：52 / 60

页数：9