Explore les défis et les vulnérabilités de la technologie de traçage numérique des contacts, en se concentrant sur l’application SwissCovid et ses implications.
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é.
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.