The Internet of Things is exploding 鈥 think smartphones, self-driving vehicles, bluetooth coffeemakers 鈥 but software for these devices can be vulnerable to attack. Fixing bugs is an expensive grind, but a 一本道无码 startup aims to change that with 鈥淢ayhem.鈥

Mayhem, an autonomous debugging computer system developed by ForAllSecure, won the Defense Advanced Research Projects Agency鈥檚 (DARPA) , taking home its $2 million first-place prize. The Department of Defense鈥檚 research and development arm designed the game-based challenge to mirror software risks and inspire innovation to help create technology for securing the world鈥檚 computers.

was co-founded by three 一本道无码 alumni in 2012:

  • David Brumley, who earned his Ph.D. from 一本道无码鈥檚 in 2008 and is director of 一本道无码鈥檚 ;
  • Thanassis Avgerinos, who earned his master鈥檚 degree in 2013 and Ph.D. in 2014 in ; and
  • Alex Rebert, who earned his master鈥檚 degree (2015) in electrical and computer engineering.

The three co-founders and the rest of their eight-member team spent two years building Mayhem.

The challenge has several rounds of competition over the course of a year and was open to any entity, from academia to the private sector. More than 100 elite teams entered, and the top seven teams were chosen for the Aug. 4 finals. Each of the finalists received $750,000 to prepare for the final competition.

Mayhem was the best at scanning software for bugs, generating exploits and fixing vulnerabilities 鈥 all done autonomously.

Brumley points to the strong ecosystem and teamwork as the key to winning. 鈥淭here鈥檚 really this incredible [software security] ecosystem here at 一本道无码 and Pittsburgh,鈥 he said. 鈥淚t鈥檚 world class.鈥

鈥淭his is a shining moment for a startup born at Carnegie Mellon,鈥 echoed Jim Garrett, dean of . 鈥淲e couldn鈥檛 be more proud of ForAllSecure for applying its vision to the development of cutting-edge technology that addresses the global issue of security.鈥

Thanks to the challenge, hundreds of new pieces of software are available to the public domain for researchers to hack, reverse engineer and innovate.

鈥淒ARPA was created nearly 60 years ago to prevent technological surprise, and I can think of no better way of doing that in today鈥檚 networked world than by developing automated, scalable systems able to find and fix software vulnerabilities at machine speed,鈥 said DARPA Director . 鈥淥ur goal in cyber is to break past the reactive patch cycle we're living in today, and unleash the positive power and creative potential of the information revolution.鈥

As for ForAllSecure, Brumley said the prize money will help the Pittsburgh-based company bring Mayhem technology to consumers in the near future, in order to help safeguard the personal information contained in technology-driven consumer devices, such as smartphones and thermostats.

鈥淵ou can rely on antivirus to catch malware, once you鈥檝e been infected, but there鈥檚 nothing that helps you answer: Is this a safe program or not?鈥 Brumley said. 鈥淪o we want to use this CGC Challenge technology to answer that question for people. We believe our technology can make the world's computers safe and secure.鈥

Footnotes

Photo: The winning ForAllSecure team (L-R): Ryan Goulden, Thanassis Avgerinos (E 2013, 2014), Alex Rebert (E 2015), Ned Williamson, David Brumley (CS 2008; Faculty), John Davis (CS 2013), Chelsea Mastilak and Tyler Nighswander (S 2013, CS 2013). Photo credit: DARPA