Français Anglais
Accueil Annuaire Plan du site
Accueil > Evenements > Séminaires
Séminaire du LRI
Doctoral Seminar : Introduction to dynamic binary analysis by symbolic execution
Robin David

24 March 2015, 10h30 - 24 March 2015, 11h00
Salle/Bat : 435/PCRI-N
Contact : robin.david@cea.fr

Activités de recherche : Compilation et optimisation des programmes

Résumé :
This short talk will give a quick overview of the binary analysis state of the art, how it differs from source analysis, what the purpose is and in which context it can be useful. It will focus on symbolic execution made on a "semantic preserving" intermediate represention of machine code instructions generated from an execution trace of a program. It will be shown how this kind of analysis can be performed both, on malicious or genuine programs and how it can help the analyst to better understand the program behavior or some of its properties.

Pour en savoir plus :
Séminaires
Programmation mathématique multi-objectif pour la
Thursday 13 December 2018 - 14h30
Salle : unknown - unknown
Audrey Legendre .............................................

Redundancy in Distributed Proofs
Algorithmique distribuée
Tuesday 04 December 2018 - 00h00
Salle : 465 - PCRI-N
Ami Paz .............................................

Some recent results on the integer linear programm
Théorie des graphes
Friday 30 November 2018 - 00h00
Salle : 445 - PCRI-N
Hung Nguyen .............................................

Scalable and exhaustive screening of metabolic fun
Wednesday 28 November 2018 - 11h00
Salle : 465 - PCRI-N
Clémence Frioux .............................................

Studying the three-dimensional structure of DNA fr
Thursday 22 November 2018 - 15h00
Salle : unknown - unknown
Nelle Varoquaux .............................................