Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > Research Actions at LIFO > Research Action : ASTRID Maturation VeDySec

Site en Français



Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Email: contact.lifo
Tel: +33 (0)2 38 41 99 29
Fax: +33 (0)2 38 41 71 37



ASTRID Maturation VeDySec : Dynamic verification of security properties

Security risks have become a major concern during the recent years. A security flaw can be exploited by attackers and allow them to steal confidential data (personal, medical, financial, industrial, defence, etc.), to access services without authorisation, or to modify or to compromise  sensible data with a malicious goal (identity usurpation, espionage, hybrid war, terrorism, etc.)
 
Static verification techniques, namely by abstract interpretation or deductive verification, can demonstrate the absence of vulnerabilities in a software product. However, these techniques remain difficult and expensive to apply on industrial software. Indeed, their application requires deep expertise and significant effort. In this context, developing dynamique verification techniques for security properties, easier to apply than static techniques, is necessary for application of these techniques to a large range of projects.
 
The goal of the VéDySec project is to consolidate the techniques and tools for dynamic verification of security properties.
 
This project is funded by the Defense Innovation Agency (AID) through the ASTRID Maturation program. The project partners are Thales Research & Technology (coordination), CEA List, University of Orléans.

Participating Members

Frédéric LOULERGUE (resp. scientifique)

Action's Web Page