3 projets européens trouvés
Recherche sur 125080 projets européens
TERMINÉ
A Source code analysis Toolbox for software security AssuraNCE (STANCE)
Date du début: 1 oct. 2012, Date de fin: 30 sept. 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 ...
Voir le projet
10
Participants partenaires
TERMINÉ
Secure, Embedded Platform with advanced Process Isolation and Anonymity Capabilities (SEPIA)
Date du début: 1 juin 2010, Date de fin: 31 mai 2013,
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 ...
Voir le projet
6
Participants partenaires
TERMINÉ
A Correct-by-Construction Workbench for Design and Verification of Embedded Systems (COCONUT)
Date du début: 1 janv. 2008, Date de fin: 30 juin 2010,
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 ...
Voir le projet