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.
