CSAIL Event Calendar
Binary Static Analysis - industry talk
Speaker: Chris Eng, Veracode
Date: Monday, December 10 2012
Time: 4:00PM to 5:00PM
Contact: Raluca Ada Popa, email@example.comRelevant URL: http://nms.csail.mit.edu/sys-security/
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.