Les équipes-projets

  1. Accueil
  2. Les équipes-projets
9 équipe(s)-projet(s)

CAMBIUM

CAMBIUM Anonymous (non vérifié) lun, 03/27/2023 - 07:03
Langages de programmation : systèmes de types, concurrence, preuve de programme

Les travaux de l'équipe visent à améliorer la fiabilité, la sûreté et la sécurité du logiciel en...

CASCADE

CASCADE Anonymous (non vérifié) lun, 03/27/2023 - 07:03
Conception et Analyse de Systèmes pour la Confidentialité et l’Authentification de Données et d’Entitées

La cryptographie, ou science du secret, a pour objectif de sécuriser les supports et les échanges de...

COSMIQ

COSMIQ Anonymous (non vérifié) lun, 03/27/2023 - 07:03
Cryptologie symétrique, cryptologie fondée sur les codes et information quantique

Les travaux de recherche de l'équipe-projet COSMIQ sont essentiellement consacrés à la conception et...