Formalization of malware through process calculi

Gregoire Jacob, Eric Filiol, Herve Debar

Since the seminal work from F. Cohen in the eighties, abstract virology has seen the apparition of successive viral models, all based on Turing-equivalent formalisms. But consideri…