Explore la conception de systèmes en réseau pour des performances robustes, en mettant l'accent sur les applications en temps réel et la vérification formelle.
Déplacez-vous dans le contrôle de la qualité des ER à médiation biP, en abordant le repliement des protéines, la dégradation, et les défis uniques dans le développement des cellules B.
Couvre les exigences et les fonctions d'un système de télécommande dans les engins spatiaux, y compris les programmes de téléchargement et le contrôle des opérations des engins spatiaux.
Couvre l'injection de code et les attaques de détournement de flux de contrôle, ainsi que des défenses telles que la prévention de l'exécution des données et Stack Canaries.
