Toward an Abstract Computer Virology. - Guillaume Bonfante; Matthieu Kaczmarek; Jean-Yves Marion (ICTAC, 2005)

On Abstract Computer Virology from a Recursion Theoretic Perspective. - Guillaume Bonfante; Matthieu Kaczmarek; Jean-Yves Marion (J. Comput. Virol., 2006)

A Classification of Viruses Through Recursion Theorems. - Guillaume Bonfante; Matthieu Kaczmarek; Jean-Yves Marion (CiE, 2007)

Morphological detection of malware. - Guillaume Bonfante; Matthieu Kaczmarek; Jean-Yves Marion (MALWARE, 2008)

Des fondements de la virologie informatique vers une immunologie formelle. (From the computer virology fudments toward a formal immunology). - Matthieu Kaczmarek (2008)

Architecture of a morphological malware detector. - Guillaume Bonfante; Matthieu Kaczmarek; Jean-Yves Marion (J. Comput. Virol., 2009)

Unconditional self-modifying code elimination with dynamic compiler optimizations. - Isabelle Gnaedig; Matthieu Kaczmarek; Daniel Reynaud; Stéphane Wloka (MALWARE, 2010)

Isolated Virtualised Clusters: Testbeds for High-Risk Security Experimentation and Training. - Joan Calvet; Carlton R. Davis; José M. Fernandez 001; Wadie Guizani; Matthieu Kaczmarek; Jean-Yves Marion; Pier-Luc St-Onge (CSET, 2010)