Equipe de recherche INDES

Programmation diffuse et sécurisée

Présentation de l'équipe

L'objectif général de l'équipe Indes est d'étudier les modèles de la programmation diffuse et de concevoir de nouveaux langages de programmation pour les applications diffuses sécurisées. Les applications diffuses sont nées de la convergence de trois progrès technologiques. L'augmentation de la couverture des réseaux informations. La diminution significative de la taille des ordinateurs. L'amélioration des capacités de ces derniers à interagir avec leur environnement physique et matériel. Les applications diffuses exigent de fortes garanties de sécurité puisqu'elles consistent essentiellement à partager des informations privées sur des réseaux constitués de noeuds peu fiables et peu sures.

Axes de recherche

  • Modèles de programmation pour le calcul diffus
  • Langages de programmation et implantations
  • Sécurité des applications diffuses

Logiciels

Relations industrielles et internationales

  • Projet ParSec, ANR Sécurité Informatique
  • Projet ParTout, ANR Défis
  • Projet PWD, ANR Défis
  • Projet SmartImmo, DGE (porteur Orange)

Mots-clés : Environnement de programmation Langage de programmation Compilation Typage Analyse statique Sécurité par compilation