Sémantique des systèmes parallèles et distribués

Abstraction et raffinement

Sémantique et preuves

Réécriture pour la programmation et la preuve

Théorie de la sécurité

Procédures de décision et vérification des programmes

Système distribués collaboratifs

Sécurité des services Web

Systèmes temps réel

Jeux pour la vérification et l'algorithme distribuée

Cryptologie et arithmétique

Système distribués collaboratifs

Sécurité des services Web

Systèmes temps réél

Des unités optionnelles des parcours 'Professionnel' des spécialités RAR ou SSR