Ce projet vise à fournir une preuve formelle de la sécurité des systèmes informatiques en utilisant la logique de séparation avec crédits de temps. Il permet de vérifier des propriétés temporelles dans des programmes concurrents et de développer des spécifications formelles pour des systèmes temps-réel.

Le projet Sesame platform permet d'installer et de déployer une plateforme expérimentale pour travailler sur des données AIS maritimes. Cette plateforme peut être installée localement ou sur Grid'5000 pour accéder à l'ensemble des données. Elle offre un environnement de validation et de développement pour les workflows de traitement de données.

SIMP 1 Labs is a project containing the material for lab sessions of the SIMP 1 module. It includes the installation instructions and resources for VirtualBox, NewAE Chipwhisperer virtual machine, and other related software. The project also provides a secure environment for encryption and decryption using various algorithms such as AES, BASE64, HMAC, and RC4.

SecureJS Compiler est un outil permettant de compiler du code JavaScript en créant des conteneurs d'exécution isolés, offrant ainsi un niveau de sécurité supplémentaire pour l'exécution de code potentiellement non fiable ou malveillant.

Le projet SSE Labs contient les ressources pour les séances de laboratoire du module SSE. Il permet de configurer et gérer une machine virtuelle NewAE, et fournit des notebooks Jupyter pour les laboratoires. Les utilisateurs doivent installer VirtualBox, l'Extension Pack et la machine virtuelle NewAE avant de pouvoir utiliser les ressources du projet.