The team from ForAllSecure, a Pittsburgh-based company, was the first-place winner of the DARPA Cyber Grand Challenge Aug. 4, in Las Vegas. Their computer system is called Mayhem and the technology is the result of more than a decade of program analysis research at Carnegie Mellon University. DoD photo