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é:   
Binary Analysis: Theory and Practice
du groupe Modélisation et Verification

Date 2014-02-13  11:00-12:00
TitreBinary Analysis: Theory and Practice 
RésuméSince now, program analysis was performed only on mathematical models of the program or high-level source code. We aim at performing an analysis only based on the binary form of the program and, if possible deduce useful properties of the program (either for software verification or reverse-engineering purposes). In this talk, we will define and present the main problems encountered when dealing with the binary format of programs. 
Lieu205, bât A29 
OrateurEmmanuel Fleury 
Emailemmanuel.fleury@labri.fr 
UrlLaBRI 



Aucun document lié à cet événement.

Retour
Retour à l'index