ByNobleID
    Automated Log Analysis of Infected Windows OS Using Mechanized Reasoning | NobleID