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
Some recent results on the integer linear programm
Théorie des graphes
Friday 12 October 2018 - 14h30
Salle : 445 - PCRI-N
Hung Nguyen .............................................

Maximum Independent Set in H-free graphs
Théorie des graphes
Friday 05 October 2018 - 14h30
Salle : 445 - PCRI-N
Edouard BONNET .............................................

A Family of Tractable Graph Distances
Gestion de données du Web
Wednesday 04 July 2018 - 10h30
Salle : 465 - PCRI-N
Stratis Ioannidis .............................................

Binary pattern of length greater than 14 are abeli
Combinatoire
Friday 29 June 2018 - 14h30
Salle : 445 - PCRI-N
Matthieu Rosenfeld .............................................

Distributionally Robust Optimization with Principa
Optimisation combinatoire et stochastique
Friday 29 June 2018 - 11h00
Salle : 455 - PCRI-N
Dr. Jianqiang Cheng .............................................