Как защитить ядро. Поговорим о безопасном коде на kernel space

Ядро операционной системы - это всегда часть TCB, и потому к нему повышены требования безопасности. Однако, удовлетворить даже базовым практикам SDL совсем не так просто. Доклад рассказывает в подробностях, почему безопасный код в ядре стоит дороже, чем безопасный код в приложении. Поговорим и об ограничении инструментов, и про применимость практик, и про специфические аппаратные возможности.