|
|
|
Intitulé:
Binary Analysis: Theory and Practice du groupe Modélisation et Verification
|
Date | 2014-02-13 11:00-12:00 |
Titre | Binary 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. |
Lieu | 205, bât A29 |
Orateur | Emmanuel Fleury |
Email | emmanuel.fleury@labri.fr |
Url | LaBRI |
Aucun document lié à cet événement. RetourRetour à l'index
| |