Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Intitulé:   
Hybrid syntactic/semantic computer virus detection scheme
du groupe Modélisation et Verification

Date 2011-05-12  11:30-12:30
TitreHybrid syntactic/semantic computer virus detection scheme 
RésuméThe detection problem in computer virology is known to be undecidable. Nonetheless, a large body of work is still devoted to the subject. We will present the state of the art on detection schemes: the syntactic and semantic detection schemes. Subsequently, we will introduce a new hybrid syntactic/semantic detection scheme, where the extraction of the virus signature is performed through abstract interpretation techniques while virus detection is let to efficient syntactic detectors. We will present a new abstract domain that is able to automatically extract the signature of a polymorphic virus as a context free grammar. Preliminary results on some real polymorphic virus samples will also be shown. 
Lieu076 
OrateurRenaud Tabary 
Emailrenaud.tabary@labri.fr 
UrlLaBRI 



Aucun document lié à cet événement.

Retour
Retour à l'index