Inference and analysis of formal models of botnet command and control protocols.

Chia Yuan Cho, Domagoj Babic, Eui Chul Richard Shin, Dawn Song

Browse the full CCS paper archive.