Sites Inria

Version française


Teams List and CEATech -

Code verification with BINSEC and FRAMA-C


Come see how binary code analysis and source code verification can provide formal security guarantees. These demonstrations are illustrations of the use of the BINSEC and FRAMA-C software analysis platforms to provide a set of formal tools for vulnerability detection, malware analysis, security policy enforcement, and code de-obfuscation. Developped as part of a large-scale, multi-project effort, these platforms will be shown here on real-world cybersecurity samples.

Team:  List, CEATech

Partners: CEA, Inria

Keywords: Certification Source code audit Binary analysis Security