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.
SuSLik, un synthétiseur de programmes générant des programmes de bas niveau sûrs à partir de spécifications logiques, présente ses capacités à gérer les structures de données liées.
Explore l'intégrité du noyau, la sécurité du système et la vérification du système en temps réel, en soulignant l'importance de prouver les propriétés critiques pour la construction de systèmes sécurisés et opportuns.
Couvre la syntaxe et les règles de dactylographie dans les langages de programmation, en discutant de l'aliasing, de la mutabilité et de l'emplacement des magasins.
Couvre les bases de la sécurité logicielle, en se concentrant sur la sécurité de la mémoire et les stratégies d'atténuation contre les attaques d'exécution de code.
Explore les techniques de récupération de mémoire, y compris le comptage de référence sans verrou et les pointeurs de danger, et présente l'approche hybride de QSense.
Explore les défis des références nulles dans les langages de programmation et propose des solutions pour atténuer leurs inconvénients tout en assurant la compatibilité avec les bases de code existantes.
