Verifying Graceful Degradation in a Distributed Malware-Detection System with SPIN

Andrei Aldea, Dumitru-Bogdan Prelipcean

Modern endpoint malware detection is distributed: a lightweight agent on each endpoint collects features from a scanned file or process, sends them to a remote server for analysis,…