Programmation d'un noyau sécurisé en AdaArnauld Michelizza

Alors que la majorité des vulnérabilités critiques des noyaux trouvent leur origine dans des débordements en mémoire ou l'usage incorrect de pointeurs, l'utilisation de langages sûrs pour l'implémentation de noyaux n'a été que rarement étudiée. L'article montre la faisabilité du développement d'un noyau en Ada et met en évidence la façon dont ce noyau est protégé des vulnérabilités les plus courantes.