Détail d'une fiche   Version PDF

CARTE (SR0392XR)

Théorie des calculs adverses, et sécurité

CARTE →  ( CARTE (SR0731VR) , CARTE (SR0731VR) )


Statut: Terminée

Responsable : Emmanuel Jeandel (Par intérim)

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2023" : Aucun mot-clé.

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : Aucun mot-clé.

Domaine : Algorithmique, programmation, logiciels et architectures
Thème : Sécurité et confidentialité

Période : 01/01/2009 -> 31/12/2015
Dates d'évaluation : 22/03/2011 , 17/03/2015

Etablissement(s) de rattachement : CNRS, U. DE LORRAINE
Laboratoire(s) partenaire(s) : LORIA (UMR7503)

CRI : Centre Inria de l'Université de Lorraine
Localisation : Centre Inria de l'Université de Lorraine
Code structure Inria : 051072-1

Numéro RNSR : 200918992J
N° de structure Inria: SR0392XR

Présentation

The aim of the CARTE research team is to take into account adversity in computations, which is implied by actors whose behaviors are unknown or unclear. We call this notion adversary computation. The project combines two approaches, and we think that their combination will be fruitful. The first one is the analysis of the behavior of a wide-scale system, using tools coming from Continuous Computation Theory. The second approach is to build defenses with tools coming rather from logic, rewriting and, more generally, from Programming Theory. The activities of the CARTE team are organized around two research actions: Computer Virology. Computation over Continuous Structures


Axes de recherche

There are three main research directions : 1) Computer virology : We study model of viruses, self-modifying programs, and heuristic to detect malware 2) Model of computation over reals and dynamical systems 3) Implicit computational complexity


Relations industrielles et internationales

We have relationships with Torino (EA Crystal), with Alexandria, with Lisboa (EA Computr) and Montréal (Ecole polytechnique).