Introduit les fondamentaux de l'ingénierie logicielle, couvrant le traitement de l'instruction, les algorithmes, les langages de programmation, les abstractions, les tests, la sécurité et l'open source.
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 l'exécution des processus, la protection et les mécanismes d'exploitation efficaces pour des environnements multi-programmes sécurisés et fiables.
Couvre l'ingénierie de systèmes à plusieurs échelles pour la santé, la sécurité, l'énergie et l'environnement, en mettant l'accent sur la prise en compte de l'innovation des laboratoires à la vie quotidienne.
Explore la programmation fonctionnelle vérifiée, la vérification formelle, les résolveurs SMT, la vérification de type, les fonctionnalités Scala, l'automatisation et les types dépendants.
Explore le protocole WireGuard, un remplacement VPN moderne pour IPsec et OpenVPN, en se concentrant sur les tunnels cryptés et les propriétés de sécurité.
