selected publications conference paper Formalization of Viruses and Malware Through Process Algebras. . 597-602. 2010