You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to Семинар <<Технологии разработки и анализа программ>>
Доброго
времени суток! В этот четверг состоится традиционный научно-практический семинар
"Технологии разработки и анализа программ".
Тема семинара: формальная верификация модуля безопасности ядра Linux. Об этом будет рассказывать сотрудник ИСП РАН Денис Ефремов. Практический результат - верифицированные модули ядра операционной системы "Astra Linux".
Она реализована с учетом высоких требований к безопасности и
конфиденциальности данных. О докладе
можно прочитать на сайте семинара http://sdat.ispras.ru по короткой ссылке http://is.gd/E8ZYQI.
Ждем Вас в четверг, 17 декабря, в 18:00 на факультете ВМК МГУ (ул. Ленинские
горы, д. 1, корп. 52), в аудитории П-13 ("северный вход"
- дальний от Ломоносовского проспекта). В МГУ действует пропускная
система, поэтому, если Вы не были на семинаре раньше, пришлите, пожалуйста, заранее свою фамилию, имя и
отчество на sd...@ispras.ru, а на семинар не забудьте взять паспорт.