Lab-STICC UMR 6285 – MOCS

Effectifs (en ETP)

• Chercheurs permanents : 1
• Enseignants-Chercheurs : 40
• Ingénieurs permanents : 2
• Doctorants : 40
• Post-Doctorants : 4

Domaine de recherche

MOCS (Méthodes Outils Circuits Systèmes) adresse les méthodes et outils de conception logicielle/matérielle dans le domaine de l’embarqué en visant une maîtrise de bout en bout.

Mots clés

Liste de mots clés décrivant les activités en lien avec la Cyber :

• • Vérification formelle de propriétés de sécurité dans le logiciel
  • Cryptographie Homomorphe et implémentation matérielle (FPGA)
  • Parallélisation automatique de traitements spécifiques (recherche de contenu caché, chiffrement, recherche de corrélation)
  • Intégration de politique de sécurité par virtualisation dans les plateformes matérielles
  • Etude, modélisation, conception, et émulation de dispositifs SCADA interconnectés en réseau
  • Mise au point de filtres adaptatifs pour garantir la fiabilité de la transmission de données en cas d’attaques électromagnétiques
  • Sécurité des composants électroniques
  • Sécurité des systèmes embarqués

Mots-clés ACM :

Méthodes formelles et aspects théoriques de la sécurité: Analyse des besoins en sécurité

Sécurité des systèmes matériels: Sécurité des systèmes embarqués

Implantation matérielle, Attaques physiques et contremesures

Sécurité des systèmes: Attaques par déni de service