Семинар "ТРАП" в этот четверг

[Eugene Kornykhin]

Доброго времени суток! В этот четверг состоится традиционный научно-практический семинар "Технологии разработки и анализа программ".

Тема семинара: формальная верификация модуля безопасности ядра Linux. Об этом будет рассказывать сотрудник ИСП РАН Денис Ефремов. Практический результат - верифицированные модули ядра операционной системы "Astra Linux". Она реализована с учетом высоких требований к безопасности и конфиденциальности данных. О  докладе можно прочитать на сайте семинара http://sdat.ispras.ru по короткой ссылке http://is.gd/E8ZYQI.

Ждем Вас в четверг, 17 декабря, в 18:00 на факультете ВМК МГУ (ул. Ленинские горы, д. 1, корп. 52), в аудитории П-13 ("северный вход" - дальний от Ломоносовского проспекта). В МГУ действует пропускная система, поэтому, если Вы не были на семинаре раньше, пришлите, пожалуйста, заранее свою фамилию, имя и отчество на sd...@ispras.ru, а на семинар не забудьте взять паспорт.

С уважением,

Евгений Корныхин