2 papers
cs.SE2026
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,…
cs.CR2025
Bridging Threat Models and Detections: Formal Verification via CADP
Dumitru-Bogdan Prelipcean, Cătălin Dima
Threat detection systems rely on rule-based logic to identify adversarial behaviors, yet the conformance of these rules to high-level threat models is rarely verified formally. We…