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
Partners Participants
FINISHED
Secure, Embedded Platform with advanced Process Isolation and Anonymity Capabilities (SEPIA)
Start date: Jun 1, 2010, End date: May 31, 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 ...
Read Project
6
Partners Participants
FINISHED
A Correct-by-Construction Workbench for Design and Verification of Embedded Systems (COCONUT)
Start date: Jan 1, 2008, End date: Jun 30, 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 ...
Read Project
