Code Analysis

Title Speakers Conference Tags
Modern static security checking of C / C++ programs Julien Vanegue SummerCon-2012 - Brooklyn, USA Code Analysis SMT Solvers
Automating the identification of data structures inside binaries Edgar Barbosa SysCan-2012 - Singapore Code Analysis REIL Z3 N-Gram
Finding the weak link in Windows binaries Ollie Whitehouse Security B-Sides London-2012 - London, UK Code Analysis Attack Planning Windows