Категория:Алексей Хорошилов
Материал из 0x1.tv
Доклады Алексея Хорошилова.
- http://sp.cmc.msu.ru/staff/khav.html
- Можно подписаться на новые доклады в категории RSS/Atom
Страницы в категории «Алексей Хорошилов»
Показано 7 страниц из 7, находящихся в данной категории.
- Анализ сложности реализации и верификации средств защиты информации в различных архитектурах защищенных ОС Linux (OSDAY-2018)
- Круглый стол «Взаимодействие разработчиков операционных систем и прикладного ПО, проблемы унификации и способы их решения» (OSDAY-2023)
- Обучение принципам построения ядра операционных систем на практике (Алексей Хорошилов, OSEDUCONF-2014)
- Обучение разработке операционных систем (Алексей Хорошилов, OSDAY-2018)
- Панельная секция 10 лет Центра верификации ОС Linux. Верификация реального ПО – мечта или реальность? (SECR-2015)
- Перспективы и задачи конструктивной информационной безопасности (Алексей Хорошилов, OSDAY-2025)
- Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015)