The tech behind Mayhem, the winner of DARPA's Cyber Grand Challenge, has been brought into the DoD under a seven-figure contract through DIUx