Hunting Distributed Malware with the k-Calculus