Attacks/Breaches

8/5/2016
02:10 PM
Connect Directly
Twitter
RSS
E-Mail
50%
50%

Team With Carnegie Mellon Roots Wins Machine Hacking Contest

'Mayhem' takes home $2 million prize in historic DARPA machine-to-machine hacking challenge.

DEF CON 24--Las Vegas--History was made here last night as DARPA held the world’s first all-machine hacking tournament.

Even though its system crashed more than halfway into the tournament, ForAllSecure and its Mayhem cyber reasoning system (CRS) machine won the contest after holding the lead for most of the tournament. The ForAllSecure team grew out of more than a decade of research at Carnegie Mellon University. Mayhem uses symbolic execution to generate deep paths in the program, searching for flaws.

One of the highlights of the DARPA hacking tournament was the challenges where the CRSes had to patch notable bugs and worms. The goal was to see that if the CRS capability had existed at the time of the attack, it could have detected a vulnerability and then patched it.

The results were promising: Six of the seven teams patched SQL Slammer and six of the seven uncovered proof of vulnerability (POV). SQL Slammer was the infamous worm that took out 75,000 systems in under 10 minutes in 2003.

In another promising result, six of the seven team patched the Heartbleed bug and one team had a POV. The patches and POVs were completed in minutes.

“This is a huge deal,” said "Visi," a white hat hacker who helped man the play-by-play anchor desk during the competition. “In the past, patching these vulnerabilities took humans days and weeks of doing the work by hand.

TechX, the team that combined engineers from GrammaTech and hackers from the University of Virginia took second place. The team’s Xandra CRS draws from GrammaTech’s expertise in symbolic execution and the University of Virginia’s ability to take programs and modify them.

Third place went to Shellphish, a team that largely consists of students from the University of California-Santa Barbara. Shellphish’s ARS was Mechanical Phish, which uses Angr, a software toolbox that analyzes binary software and seeks to stop it in its tracks.

ForAllSecure received $2 million; TechX, $1 million; and Shellphish, $750,000.

Alex Rebert, co-founder of ForAllSecure and team lead on the Cyber Grand Challenge project, said that company is largely self-funded and would use the prize money to continue its operations and research into autonomous computing.

WWF Meets The NFL

The contest itself was an attempt by DARPA to bring some star power into the world of hacking. The intros of the team was a cross between a World Wrestling Federation contest with bright flashing lights and a booming announcer and an important professional sports contest like the Super Bowl or the NBA Finals.

Hakeem Oluseyi, a professor of physics and space sciences at the Florida Institute of Technology and prominent hackers Visi and HJ, short for Hawaii John, provided the color commentary. Visi was on the anchor desk with Oluseyi, who did the play-by-play, and HJ stayed with the teams and conducted interviews as results came in. 

Visi said he was impressed that even though ForAllSecure won by a considerable margin, the teams were all very close.

“This doesn’t always happen in human capture-the-flag tournements,” he said. “Very often teams build up big leads and play Guitar Hero to taunt their competitors.”

Related Content:

 

Steve Zurier has more than 30 years of journalism and publishing experience, most of the last 24 of which were spent covering networking and security technology. Steve is based in Columbia, Md. View Full Bio

Comment  | 
Print  | 
More Insights
Comments
Newest First  |  Oldest First  |  Threaded View
Valentine's Emails Laced with Gandcrab Ransomware
Kelly Sheridan, Staff Editor, Dark Reading,  2/14/2019
High Stress Levels Impacting CISOs Physically, Mentally
Jai Vijayan, Freelance writer,  2/14/2019
Mozilla, Internet Society and Others Pressure Retailers to Demand Secure IoT Products
Curtis Franklin Jr., Senior Editor at Dark Reading,  2/14/2019
Register for Dark Reading Newsletters
White Papers
Video
Cartoon
Current Issue
5 Emerging Cyber Threats to Watch for in 2019
Online attackers are constantly developing new, innovative ways to break into the enterprise. This Dark Reading Tech Digest gives an in-depth look at five emerging attack trends and exploits your security team should look out for, along with helpful recommendations on how you can prevent your organization from falling victim.
Flash Poll
How Enterprises Are Attacking the Cybersecurity Problem
How Enterprises Are Attacking the Cybersecurity Problem
Data breach fears and the need to comply with regulations such as GDPR are two major drivers increased spending on security products and technologies. But other factors are contributing to the trend as well. Find out more about how enterprises are attacking the cybersecurity problem by reading our report today.
Twitter Feed
Dark Reading - Bug Report
Bug Report
Enterprise Vulnerabilities
From DHS/US-CERT's National Vulnerability Database
CVE-2019-7629
PUBLISHED: 2019-02-18
Stack-based buffer overflow in the strip_vt102_codes function in TinTin++ 2.01.6 and WinTin++ 2.01.6 allows remote attackers to execute arbitrary code by sending a long message to the client.
CVE-2019-8919
PUBLISHED: 2019-02-18
The seadroid (aka Seafile Android Client) application through 2.2.13 for Android always uses the same Initialization Vector (IV) with Cipher Block Chaining (CBC) Mode to encrypt private data, making it easier to conduct chosen-plaintext attacks or dictionary attacks.
CVE-2019-8917
PUBLISHED: 2019-02-18
SolarWinds Orion NPM before 12.4 suffers from a SYSTEM remote code execution vulnerability in the OrionModuleEngine service. This service establishes a NetTcpBinding endpoint that allows remote, unauthenticated clients to connect and call publicly exposed methods. The InvokeActionMethod method may b...
CVE-2019-8908
PUBLISHED: 2019-02-18
An issue was discovered in WTCMS 1.0. It allows remote attackers to execute arbitrary PHP code by going to the "Setting -> Mailbox configuration -> Registration email template" screen, and uploading an image file, as demonstrated by a .php filename and the "Content-Type: image/g...
CVE-2019-8909
PUBLISHED: 2019-02-18
An issue was discovered in WTCMS 1.0. It allows remote attackers to cause a denial of service (resource consumption) via crafted dimensions for the verification code image.