DEMO: Akatosh: Automated Cyber Incident Verification and Impact Analysis. - Jared M. Smith; Elliot Greenlee; Aaron E. Ferber (CCS, 2017)