On the possibility of practically obfuscating programs towards a unified perspective of code protection. - Philippe Beaucamps; Eric Filiol (J. Comput. Virol., 2007)

Extended recursion-based formalization of virus mutation. - Philippe Beaucamps (J. Comput. Virol., 2009)

Behavior Abstraction in Malware Analysis. - Philippe Beaucamps; Isabelle Gnaedig; Jean-Yves Marion (RV, 2010)

Analyse de Programmes Malveillants par Abstraction de Comportements. (Analysis of Malware by Behavior Abstraction). - Philippe Beaucamps (2011)

Abstraction-Based Malware Analysis Using Rewriting and Model Checking. - Philippe Beaucamps; Isabelle Gnaedig; Jean-Yves Marion (ESORICS, 2012)