Почему так сложно защитить ядро. Поговорили об SDL на kernel space / Анна Мелехова

О чём доклад? Рассмотрели причины, по которым санитары из пространства пользователя не работают в ядре операционной системы. Обсудили способы прикрутить libfuzzer к ядру и преимущества и недостатки использования симулятора атаки SYZKALLER. Поговорили об особенностях статического анализа в ядре и о том, как писать эффективные ядерные харденинги. Технологическая конференция для разработчиков операционных систем и микроконтроллеров "Салют, OS DevConf!": https://shorturl.at/fpwxI Анна Мелехова, Software Development Group Manager, «Лаборатория Касперского» Занимается Secure Platform Development в кибериммунной KasperskyOS. Более 10 лет в разработке ядра виртуальной машины, а также в облачной разработке и архитектуре микросервисов. Преподает в МФТИ и в Иннополисе, любит превращать учебу в процесс взаимного обогащения знаниями, а работу — в столь же совместный драйв. Операционная система для умных устройств от SaluteDevices: https://shorturl.at/ikrN6