Explore l'hébergement sur l'infrastructure XaaS et les meilleures pratiques de déploiement continu à l'EPFL, en mettant l'accent sur la sécurité, la documentation et la collaboration.
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 les bases de la sécurité informatique, mettant l'accent sur la responsabilité de chacun dans la protection des données et la prévention des cybermenaces.
Explore l'exécution des processus, la protection et les mécanismes d'exploitation efficaces pour des environnements multi-programmes sécurisés et fiables.
Explore les défis de sécurité et de confidentialité de l'application suisse de traçage des contacts COVID, y compris les fausses notifications et les attaques basées sur le temps.
S'insère dans les systèmes de vote électronique, mettant l'accent sur la démocratie décentralisée, les phases électorales et les défis à relever pour assurer la vérifiabilité et la sécurité.
Couvre les concepts d'isolement et de protection dans les systèmes informatiques, en mettant l'accent sur la sécurité des processus et les techniques de gestion des ressources.
Couvre le traitement des données, les principes du RGPD, le transfert des données, les droits des personnes concernées, les accords de licence et l'application du droit de la concurrence.
Couvre le rôle des systèmes d'exploitation en tant que services de colle qui simplifient la conception des applications et améliorent la gestion des ressources.
Explore l'estimation des erreurs dans l'intégration numérique et ses applications dans la prévision, en mettant l'accent sur la méthode de Romberg et l'extrapolation de Richardson.