CSAIL Event Calendar

Binary Static Analysis - industry talk

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.

Bio: Chris Eng is Vice President of Research at Veracode, where he helps define and implement the static and dynamic analysis capabilities of Veracode’s service offerings. He is a frequent speaker at industry conferences such as BlackHat, RSA, OWASP, and CanSecWest, and has presented on a diverse set of application security topics including cryptographic attacks, testing methodologies, mobile application security, and security metrics. Chris’ professional experience includes stints at Symantec, @stake, and the US Department of Defense, where he specialized in software security assessments, penetration testing, and vulnerability research.

See other events that are part of CSAIL Security Seminar 2012/2013

See other events happening in December 2012