- H2020 PDP4E (2018-2021, EU): méthodes et outils pour la conformité
GDPR vis-à-vis de l'ingénierie de la vie privée et de la protection des
données.
- H2020 VESSEDIA (2017-2019, EU): ingénierie de la vérification des
applications industrielles dynamiques critiques pour la sûreté et la sécurité
- ANR AnaStaSec (2015-2019, France): analyse statique de propriétés de
sécurité
- FactoryLab Cyboc (2018-2019, France, chef de projet): étude sur la
cybersécurité des objets connectés
- ICT COST Action
ARVI (2015-2018,
EU):
vérification à l'exécution au delà du monitoring
- PIA S3P
(2015-2018, France): plateforme de développement et d'exécution logicielle
performante, sûre et sécurisée.
- DGA Rapid Aurochs (2015-2017, France): nouvelles
techniques et méthodologie pour se protéger de cyber-attaques
- LabCom CEA LIST - Thales TRT (2015-2016, France):
expertise en méthodes formelles
- FP Stance (2012-2016, EU):
boîte à outils d'analyse de code
source pour la sécurité
- LabCom CEA LIST - TrustInSoft (2014-2015, France):
développement de greffons Frama-C dédiés
- DARPA Chekofv (2012-2015, US): la vérification formelle par les
masses (et les jeux vidéos)
- FUI Hi-Lite (2010-2013, France): combinaison d'analyses statiques et
dynamiques
- FUI ADS+ (2010-2012, France): architecture sécurisée et ouverte pour
POI
- ANR U3CAT (2008-2011, France): suite du projet CAT
- ITEA E-Confidential (2006-2009, EU): plateforme de confiance pour
sécuriser plusieurs types d'applications et pour fournir un environnement
d'exécution de confiance
- FP OpenTC (2006-2009, EU): environnement ouvert et de
confiance
- DGE PFC (2006-2009, France): plateforme de confiance
-
- ANR CAT (2005-2008, France): boîte à outils d'analyses de programmes
C
-
Dernière modification le lundi 2 août 2021 à 15h48min55sec (heure de Paris).