615, rue du Jardin Botanique BP-101 54602 Villers-lès-Nancy FRANCE
Assistante : Chantal Llorens 33 +3 54 95 84 02 Chantal.Llorens'@'loria.fr
Parc de Saurupt CS 14 234 54042 Nancy cedex France
Assistante : Françoise Laurent 33 +3 83 58 42 70 Francoise.Laurent'@'mines.inpl-nancy.fr
33 +3 54 95 84 60 Jean-Yves.Marion'@'loria.fr
Publications
Team Carte
High Sec Lab
CNU
PhD Students
Committees
Research interests : Implicit computation complexity, Computer virology, Grammatical inference
Recent Publications :
Paper in Pour la science (in french)
Chapter in french on Theroetical computer science for AI handbook
Server-Side Dynamic Code Analysis, Malware 2009
Sup-interpretations, a semantic method for static analysis of program resources, TOCL 2009
Architecture of a morphological malware detector, JCV 2009
On tiered small jump operators, LMCS 2009
Conferences :
Malware 2010, 11-12 October -Nancy
STACS 2010
DICE 2010
FOPARA 2010
Committes :
Next INPL Conseil scientifique 25 March (bureau 18 March)
Next CNU session : Bayone 18-21 May 2010 (Promotions)