Advanced Tool Development With SMT Solvers (3 Days)
This class is designed to introduce students to the cutting edge of research in program analysis based on SMT solvers and symbolic reasoning. With a focus on practical applications, we will cover the theory and implementation behind a number of techniques developed in recent years that have relevance in vulnerability discovery, exploit development, and reverse engineering. Over the three days, we will go from the foundations of problem solving with SMT solvers through to the construction of analysis systems capable of reasoning about complex problems in real software.
For full details, including a syllabus, see http://www.vertex.re/training/
Email firstname.lastname@example.org if you have any questions, or would like to book a class.