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 la sécurité du langage de programmation, couvrant la sécurité de type, la sécurité de la mémoire, la sécurité des menaces, le modèle de propriété de Rust, le sandboxing et la compartimentation.
Introduit le programme de recherche suisse axé sur l'ingénierie de systèmes à plusieurs échelles pour la santé, la sécurité, l'énergie et l'environnement.
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.
Explore le programme de recherche suisse Nano-Tera et son impact sur les systèmes d'ingénierie à plusieurs échelles pour la santé, la sécurité, l'énergie et l'environnement.
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.
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.
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.
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 les défis de programmation, les techniques de débogage, les tests de logiciels et les pratiques de sécurité dans le développement de logiciels.
