Researchers from the Georgia Institute of Technology College of Computing developed a new cyber security analysis method that discovered 11 previously unknown Internet browser security flaws. Their findings were honored with the Internet Defense Prize, an award presented by Facebook in partnership with USENIX at the 24th USENIX Security Symposium.
The researchers received $100,000 from Facebook to continue their research and increase its impact to make the Internet safer.
Their research, “Type Casting Verification: Stopping an Emerging Attack Vector,” explores vulnerabilities in C++ programs (such as Chrome and Firefox) that result from “bad casting” or “type confusion.” Bad casting enables an attacker to corrupt the memory in a browser so that it follows a malicious logic instead of proper instructions.
The researchers developed a new, proprietary detection tool called CAVER to catch them. CAVER is a run-time detection tool with 7.6 percent – 64.6 percent overhead on browser performance (Chrome and Firefox, respectively). The 11 vulnerabilities identified by Georgia Tech have been confirmed and fixed by vendors.
Wenke Lee, professor in the School of Computer Science and an adviser to the team, says,
“It is time for the Internet community to start addressing the more difficult, deeper security problems. The security research community has been working on various ways to detect and fix memory safety bugs for decades, and have made progress on ‘stack overflow’ and ‘heap overflow’ bugs, but these have now become relatively easy problems. Our work studied the much harder and deeper bugs—in particular ‘use-after-free’ and ‘bad casting’—and our tools discovered serious security bugs in widely used software, such as Firefox and libstdc++. We are grateful to Facebook for this recognition.”
The work was selected for Facebook’s second ever Internet Defense Prize award, which recognizes superior quality research that combines a working prototype with significant contributions to the security of the Internet — particularly in the areas of protection and defense.
Loannis Papagiannis, Security Engineering Manager at Facebook, said:
“Designing defensive security technology has never been more important, and that’s why we are once again offering the Internet Defense Prize to stimulate high quality research in this area. The Georgia Tech team’s novel technique for detecting bad type casts in C++ programs is the type of standout approach we want to encourage. We look forward to seeing what the team does next to create broader impact and improve security on the Internet.”
Casey Henderson, Executive Director of the USENIX Association, said:
“Georgia Tech’s award-winning entry exemplifies the groundbreaking security research that has become a hallmark of the USENIX Security Symposium. Their trailblazing work stood out among the many outstanding submissions judged by the USENIX Security Awards Committee and Facebook. We look forward to their continued progress enabled by the Internet Defense Prize in the coming year.”
About Georgia Tech College of Computing:
Computer and computing education at Georgia Tech dates back more than a generation, to 1964 and the establishment of the Information Science program and a master’s degree program in Information Science—the first graduate degree.
In 1988, Georgia Tech president John Patrick Crecine elevated the School of Information and Computer Science to become the College of Computing, making Georgia Tech the second university to do so, after Carnegie Mellon University created their School of Computer Science.
In 2014, U.S. News & World Report ranked the Computer Science program #9 in the U.S.
