Why Use Datalog to Analyze Programs? Team: John Whaley, Ben Livshits, Michael Martin, Dzintars Avots, Michael Carbin, Chris Unkel.
SecuBat: An Automated Web Vulnerability Detection Framework Stefan Kals, Engin Kirda Christopher Kruegel and Nenad Jovanovic Secure Systems Lab Vienna.
Michigan DGS 2015 Presentation - You'Ve Been Hacked Now What - Michael Ashton