LORIA.tiff ARA - virus qsl2-203-63.tiff

2nd International Workshop on the
Theory of Computer Viruses
Nancy - France - 10 and 11 may 2007


Registration

For organisation details, participants must register. Fees are very low and registration is free for Loria members. Registration form doc pdf.

Scope

Computer viruses, Spywares, Malware, Worms are an every day threat for our computers and more generally for information systems. We must face these threats, and we believe that a theoretical study will bring new answers to this problem. The goal of this workshop is to bring researchers from various research areas in order to discuss and to exchange about malwares. We especially focus on the issues of self-reproduction and the spreading abilities of computer viruses. The long term goal of this line of research is to define a formal framework from which we could base safely our defense against viruses.

Topics

  • Models of computer viruses, of their spreading
  • Self-reproduction mechanisms
  • Obfuscation, Polymorphism and hiding procedures
  • Detection of computer viruses
  • Biologically Inspired Immune Systems

Accepted papers

  • Characterizing virus replication, Jose A. morales, Peter J. Clarke, Yi deng, Florida international university
  • Classification of computer viruses using the theory of affordances, Max Webster, Grant Malcolm, university of Liverpool
  • Malwares as interactive machines: A new framework for behavior modelling, Grégoire Jacob, Eric Filiol, Hervé Debar
  • Behavioral detection of malwares: from a survey towards an established taxonomy, Grégoire Jacob, Hervé Debar, Eric Filiol
  • SANA -- Network Protection through artificial immunity, Michael Hilker, Christoph Schommer, University of Luxemburg
  • Malware behaviour analysis, Gérard Wagner, Radu State, Alexandre Dulaunoy, Loria
  • Technique d'obscurcissement de code pour virus métamorphes, Jean-Marie Borello, Ludovic Mé
  • A classification of viruses through recursion theorems, Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
  • Control flow graphs as malware signatures, Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion

Invited talks

  • Eric Filiol - France
  • Mattia Monga - Italia

Special session

TCV'07 will include a special session on legal aspects of computer virus experimentation and on information war.

Program

Thursday - 10/05
9:30 - 9:45 opening
9:45 - 10:45 Invited lecture
Mattia Monga - DICo Milano
10:45 - 11:00 Break
11:00 - 11:40 Control flow graphs as malware signatures
Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion, Loria
11:40 - 12:20 Classification of computer viruses using the theory of affordances
Matt Webster, Grant Malcolm, University of Liverpool
11:20 - 13:00 SANA -- Network Protection through artificial immunity
Michael Hilker, Christoph Schommer, University of Luxemburg
13:00 - 14:30 Lunch
14:30 - 15:10 Malware behaviour analysis
Gérard Wagener, Radu State, Alexandre Dulaunoy, Loria
15:10 - 15:50 Techniques d'obscurcissement de code pour virus métamorphes
Jean-Marie Borello, Ludovic Mé, Celar et Supelec
15:50 - 16:05 Break
16:05 - 16:45 Behavioral detection of malwares: from a survey towards an established taxonomy
Grégoire Jacob, Hervé Debar, Eric Filiol, ESAT
16:45 - 17:25 Characterizing virus replication
Jose A. Morales, Peter J. Clarke, Yi Deng, Florida international University
Friday - 11/05
9:00 Special session (french)
9:00 - 9:40 Aspects juridiques de la virologie
Andro Aslanichvili, Université Nancy 2
9:40 - 10:20 Les paradoxes de la défense virale
Anne Bonfante, Loria
10:20 - 10:45 Break
10:45 - 11:45 Invited lecture: Criptographic issues in computer virology
Eric Filiol - ESAT
11:45 - 12:25 Malwares as interactive machines: A new framework for behavior modelling
Grégoire Jacob, Eric Filiol, Hervé Debar, ESAT
12:25 - 13:05 A classification of viruses through recursion theorems
Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion, Loria