Equipe-projet
ANTIQUE
Analyse Statique par Interprétation Abstraite
Les travaux de l'équipe visent à améliorer la fiabilité, la sûreté et la sécurité du logiciel en...
La cryptographie, ou science du secret, a pour objectif de sécuriser les supports et les échanges de...
Les travaux de recherche de l'équipe-projet COSMIQ sont essentiellement consacrés à la conception et...