Ефремов Денис Валентинович

Публикации в базе данных Math-Net.Ru

1. Обзор механизмов усиления защищенности операционных систем и пользовательских приложений
   
   Труды ИСП РАН, 37:3 (2025),  325–354
2. Методы динамической верификации промышленных средств защиты информации на основе формальных моделей управления доступом.
   
   Труды ИСП РАН, 37:3 (2025),  277–290
3. Мониторинг и тестирование модулей операционных систем на основе абстрактных моделей поведения системы
   
   Труды ИСП РАН, 33:6 (2021),  15–26
4. Мониторинг и тестирование на основе многоуровневых спецификаций программ
   
   Труды ИСП РАН, 32:6 (2020),  7–18
5. Формальная верификация библиотечных функций ядра Linux
   
   Труды ИСП РАН, 29:6 (2017),  49–76