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 4.2.8 + AHUNTSIC [CC License]

info visites 3971298