ThreatScout: Automated Threat Hunting Solution Using Machine Reasoning. - Zineb Meriem Ferdjouni; Boubakr Nour; Makan Pourzandi; Mourad Debbabi (IEEE Secur. Priv., 2025)