Philippe Beaucamps

According to our database, Philippe Beaucamps authored at least 5 papers between 2007 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Abstraction-Based Malware Analysis Using Rewriting and Model Checking.

Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion

Proceedings of the Computer Security - ESORICS 2012, 2012

2011

Analyse de Programmes Malveillants par Abstraction de Comportements. (Analysis of Malware by Behavior Abstraction).

Philippe Beaucamps

PhD thesis, 2011

2010

Behavior Abstraction in Malware Analysis.

Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion

Proceedings of the Runtime Verification - First International Conference, 2010

2009

Extended recursion-based formalization of virus mutation.

Philippe Beaucamps

J. Comput. Virol., 2009

2007

On the possibility of practically obfuscating programs towards a unified perspective of code protection.

Philippe Beaucamps, Eric Filiol

J. Comput. Virol., 2007