Verimag

Seminar details

salle A. Turing CE4
15 October 2015 - 10h00
The Ying and the Yang of Binary Reversing
by Andy King from University of Kent



Abstract: I will explain how the problem of recovering types (the ying) in binary
reversing, has a yang, which is a high-level witness that defines the
types. Quite apart from providing a principled approach to type
recovery, the formulation gives a type-based decompiler for free.




Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 876091