Parmi les thématiques de recherche possibles, citons (liste non exhaustive, le laboratoire est ouvert à toute proposition raisonnable) :
- Sûreté & sécurité assurées par le langage de programmation ou le compilateur
- Compilation formellement vérifiée
- Programmation distribuée sûre
- Environnements d’exécution (runtime systems) sûrs et sécurisés
- Vérification formelle de protocoles de sécurité, de protocoles cryptographiques
- Modèles et analyses de la sécurité des réseaux
- Sécurité logicielle/matérielle
- Protection contre les injections de fautes logicielles ou matérielles
- Protection contre les canaux cachés
- Protection de la vie privée, confidentialité
