Explore la conception de systèmes intermittents formellement corrects pour les plates-formes de calcul de bord extrême, mettant l'accent sur la justesse, la fiabilité et la sécurité.
Couvre l'équilibre du stress, la tension et la généralisation du stress en 3D, en introduisant la loi de Hooke et en analysant les structures avec des charges axiales.
Couvre l'accès conditionnel, le cryptage, le décryptage, l'authentification et les normes de cryptage avancées, en explorant le cryptage basé sur l'identité, la biométrie et le cryptage basé sur les attributs.
Couvre la migration du cloud, les directives sur les noms de domaine, la sécurité informatique, les projets de numérisation et le déploiement du projet Catalyse à l'EPFL.
