Search for European Projects

3 European Projects Found

Searched on 125080 European Projects

 FINISHED 

Memory Compositional Abstract Domains: Certification of Memory Intensive Critical Softwares (MEMCAD)

Start date: Oct 1, 2011, End date: Sep 30, 2017,

Every year, software bugs cost hundreds of millions of euros to compagnies and administrations. A number of disasters such as the Ariane 5 first flight failure can are due to faulty softwares. Static analysis aims at computing automatically properties of softwares, so as to prove they are exempt from some class of bugs. In the last ten years, static analysis of numeric intensive applications impro ...
Read Project

 2

 FINISHED 

CRYSP: A Novel Framework for Collaboratively Building Cryptographically Secure Programs and their Proofs (CRYSP)

Start date: Nov 1, 2010, End date: Oct 31, 2015,

"The field of software security analysis stands at a critical juncture.Applications have become too large for security experts to examine by hand,automated verification tools do not scale, and the risks of deploying insecure software are too great to tolerate anything less than mathematical proof.A radical shift of strategy is needed if programming and analysis techniques are to keep up in a netw ...
Read Project

 1

 FINISHED 

Sparse Structured Methods for Machine Learning (SIERRA)

Start date: Dec 1, 2009, End date: Nov 30, 2014,

"Machine learning is now a core part of many research domains, where the abundance of data has forced researchers to rely on automated information processing. In practice, today, machine learning techniques are applied in two stages: practitioners first build a large set of features; then, off-the-shelf algorithms are used to solve the appropriate prediction tasks, such as classification or regres ...
Read Project

 2