Binary Static Analysis
Abstract: Binary Static Analysis is the process of modeling the semantics of a computer program from its executable form and then inspecting that model for properties and patterns of interest. Today static analysis if being used for detecting quality and security flaws in software. This talk will give an overview of the binary modeling process, the inspection process, and some examples of security defects that can be detected with this technique.
Chris's bio: http://www.veracode.com/blog/chris-wysopal-co-founder- and-chief-technology-officer/, http://en.wikipedia.org/wiki/Chris_Wysopal