Search for European Projects

3 European Projects Found

Searched on 125080 European Projects

 FINISHED 

A Source code analysis Toolbox for software security AssuraNCE (STANCE)

Start date: Oct 1, 2012, End date: Sep 30, 2015,

The immunity of a system to malicious third parties trying to modify its behaviour (e.g. to perform unauthorized actions) is called security. Ensuring this feature in information and communication technologies is a requirement for establishing a trustworthy Information Society. Several strategies can be explored to deal with this problem. One of them, called program analysis, relies on formal tech ...
Read Project

 10

 FINISHED 
Mobile and embedded devices are rapidly evolving into powerful, ubiquitous personal assistants. As such, they will be involved in security-critical operations like authentication, payment, e-Banking and e-Government applications. Nevertheless, they have to be open platforms on which entertainment applications need to find their place. Being part of the Internet of Things, these platforms become an ...
Read Project

 6

 FINISHED 
Design and verification of modern embedded platforms are two highly related problems which are still mainly addressed by using unrelated methodologies. This effectively reduces development productivity and complicates achieving predictable system properties.The COCONUT project thus focuses on the definition of a formal framework based on a tight integration of design and verification through all r ...
Read Project

 10