https://www.darpa.mil/news/2016/mayhem-winner-cyber-grand-challenge