07/09/2016: Please click here to read the press release!Read More
In a society driven by information technologies and communication, the safety and security of software have become crucial challenges. Frama-C is a software analysis platform that enables the design, implementation, and dissemination of formal verification solutions.
Speakers at the Frama-C Day will demonstrate and discuss innovative approaches to software analysis, from both academic and industrial points of views.
In addition to invited presentations, this will be a space for community discussions, updates on new developments, and upcoming projects.Read More
In 2007, the IATAC (Information Assurance Technology Analysis Center) and DACS (Data and Analysis Center for Software) conjointly produced a comprehensive 400 pages state-of-the-art report on software security assurance (IATAC / DACS, 2007). The report recalls three tenants of secure systems: (a) the ability to resist a majority of attacks, (b) the weathering of un-resisted attacks, and (c) the quick recovery from attacks. This project targets the foremost line of defense (a). The objective of STANCE is to provide a source code analysis toolbox to help verify that software systems are immune to specific categories of attacks.