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.
Explore les systèmes d'ingénierie à plusieurs échelles pour la santé, la sécurité, l'énergie et l'environnement, en mettant l'accent sur les innovations des laboratoires à la vie quotidienne.
Discute des systèmes d'ingénierie à plusieurs échelles pour la santé, la sécurité, l'énergie et l'environnement, mettant en évidence l'innovation des laboratoires à la vie quotidienne.
Introduit Stainless, un outil open-source pour vérifier les programmes Scala, couvrant le langage, la modélisation, les conseils de vérification et les travaux intérieurs.
Introduit des exercices Jupyter sur la confidentialité différentielle, couvrant les générateurs aléatoires, la compréhension de l'impact d'intrusion de données, et les applications pratiques.
Discute des systèmes d'ingénierie à plusieurs échelles pour la santé, la sécurité, l'énergie et l'environnement, mettant en évidence l'innovation des laboratoires à la vie quotidienne.
Explore l'application SwissCovid, une solution de recherche de proximité contre COVID-19, couvrant les aspects techniques, le renforcement de la confiance, la confidentialité, la sécurité et la collaboration avec Google et Apple.
Discute de l'ingénierie des systèmes à plusieurs échelles pour la santé, la sécurité, l'énergie et l'environnement, en mettant l'accent sur l'innovation et la mise à l'essai de nouvelles technologies.
Se concentre sur la conception de systèmes intermittents officiellement corrects dans les systèmes sans batterie alimentés par intermittence, en abordant les défis et les stratégies pour assurer l'exactitude.
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 fondements de la vérification modulaire en utilisant la logique de séparation pour des programmes concomitants réalistes et discute des défis de l'état mutable partagé dans la concorde.
