The Mayhem Cyber Reasoning System. - Thanassis Avgerinos; David Brumley; John Davis; Ryan Goulden; Tyler Nighswander; Alexandre Rebert; Ned Williamson (IEEE Secur. Priv., 2018)