Philippe Beaucamps

Publication Activity (10 Years)

Years Active: 2007-2012
Publications (10 Years): 0

Top Topics

Static Analysis

Verification Method

Linear Temporal Logic

Top Venues

National Polytechnic Institute of Lorraine, Nancy, France (PHD)

Education History

National Polytechnic Institute of Lorraine, Nancy, France

PHD

Publications

Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion
Abstraction-Based Malware Analysis Using Rewriting and Model Checking. ESORICS (2012)
Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion
Behavior Abstraction in Malware Analysis. RV (2010)
Philippe Beaucamps
Extended recursion-based formalization of virus mutation. J. Comput. Virol. 5 (3) (2009)
Philippe Beaucamps, Eric Filiol
On the possibility of practically obfuscating programs towards a unified perspective of code protection. J. Comput. Virol. 3 (1) (2007)