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.