Уважаемые коллеги!
 
25-26 сентября 2020 г. в Орле ИСП РАН при поддержке ФСТЭК России организует третью международную конференцию «Иванниковские чтения». Соорганизаторами выступают Академия ФСО России и Правительство Орловской области. Кроме научной программы, в рамках конференции пройдет круглый стол по кибербезопасности, на котором выступит представитель ФСТЭК России.

Приглашаем вас и ваших сотрудников принять участие в конференции!

По всем вопросам обращаться по e-mail: scsec@ispras.ru. Сайт мероприятия: www.ivannikov-ws.org.

Уважаемые коллеги, 22 октября на базе АО «Лаборатория Касперского» состоится уже ставшее традиционным мероприятия Certification Day. Программу прикрепляю ниже. К сожалению число мест в этом году было крайне ограничено, в связи с чем все они уже заняты. Но будет онлайн-трансляция. Ссылка в открытых источниках публиковаться не будет, кто захочет следить за трансляцией - напишите мне 21 октября в личку, я вышлю.

Коллеги, появилось расписание курсов по фаззингу и правил зачисления. См. вверху

http://www.cpkstzi.ru/timetable.html

Коллеги, приветствую.

К сожалению видео-трансляции по техническим причинам не состоится, но освободилось несколько физических мест (3-4) в зале на завтрашний Certification Day в Лаборатории Касперского. Желающие поприсутствовать пришлите пожалуйста "ФИО + Компания" мне в личку, я передам Организаторам.

Осталось одно свободное место.

Выписка из новых требований доверия появится на следующей неделе - будет рассылаться Регулятором.
6-4 уровни будут скорее всего опубликованы на сайте Регулятора.
Основные изменения будут касаться ужесточения требований к аппаратным платформам.

Новая Методика НДВ для программ будет до НГ. Будут ужесточения требований к ИЛ в часте инструментария. Без уточнения пока что.
Методика НДВ для микропрограммного кода будет в перспективе.

Настоятельно рекомендуется заявлять выявленные баги в БДУ ФСТЭК.

В ноябре будет публичное обсуждение проекта нового Положения отсертификации

Игры от Касперского. Можно использовать в качестве вовлечения сотрудников в security-тему.

Уважаемые коллеги!

У нас уже все готово, для того чтобы завтра, 10 декабря 2020 года, начать работу международной Открытой конференции ИСП РАН им. В.П. Иванникова. В этом году конференция посвящена 80-летию со дня рождения основателя и первого директора Института системного программирования − академика РАН В.П. Иванникова.

С целью предотвращения распространения новой коронавирусной инфекции COVID-19 и с заботой о вашем здоровье мы мы проводим это мероприятия в он-лайн режиме.

В 09:30 конференцию откроет торжественная Пленарная сессия. К участию в пленарной сессии конференции приглашены члены правительства, руководство РАН, РФФИ, отраслевых НИИ и профильных ВУЗов, а также представители ведущих российских и зарубежных IT-компаний, руководство IEEE (Институт инженеров электротехники и электроники) и IEEE Computer Society.

Подключиться к трансляции торжественной пленарной сессии, а также получить всю необходимую информацию о программе и научных треках можно на специальном сайте:
https://online.isprasopen.ru/

Анонсы о выступлениях участников и всю оперативную информацию можно получить подключившись к оперативному каналу ИСП РАН:
https://t.me/ispras

Если у вас возникли сложности или вы хотите получить дополнительную информацию пожалуйста пишите на нам на почту по адресу:
scsec@ispras.ru

В рамках Открытой конференции ИСП РАН им. В.П. Иванникова пройдет серия круглых столов:

1) круглый стол по цифровой медицине, посвященный в том числе проблемам создания национальной цифровой платформы решения актуальных задач биомедицинского домена (приглашены представители Консорциума Научного центра мирового уровня (НЦМУ) «Цифровой биодизайн и персонализированное здравоохранение», включая Сеченовский университет, а также представители НМХЦ им Н.И. Пирогова, Университетской клиники МГУи др.);

2) круглый стол по кибербезопасности (приглашены представители ФСТЭК России, а также крупных российских ИТ-компаний). Круглый стол "Кибербезопасность" это площадка для обмена опытом внедрения практик безопасной разработки, тестирования и сопровождения различных видов программного и программно-аппаратного обеспечения. В ходе мероприятия планируется выступление представителей ведущей отечественной ИТ-промышленности, представителей научной ИТ-сферы в лице сотрудников ИСП РАН , представителей ФСТЭК России.

Ссылки для подключения слушателей к научным трекам Конференции:

1) Технологии анализа, моделирования и трансформации программ
https://ispras.zoom.us/j/99496840928?pwd=MXB4L0J6T2NxcmlYR2lJVEMrWFJ4QT09

2) Управление данными и информационные системы
https://ispras.zoom.us/j/99554989470?pwd=Ry84WDVkeHJodjdTNkkwNDFjcXA4QT09

3) Решение задач механики сплошных сред с использованием СПО
https://ispras.zoom.us/webinar/register/WN_XT7JkV4xTNeDWtJLzkuNRA

Коллеги, приветствую.
В предположении о том, что у многих из вас чат Статика::Доверенная разработка в отличие от данного канала переведен в режим Mute, информируем вас о начале процесса формирования тестовых баз и Методики сравнения статических анализаторов, и приглашаем принять участие в данной активности. Подробности см. в чате.

22 марта состоятся учебные сборы (основная тема - динамический анализ в целом и фаззинг в частности), информация доступна по ссылке http://www.cpkstzi.ru/timetable.html

Коллеги, приветствую.
Состоялась первая офлайн+онлайн встреча сообщества специалистов в области динамического анализа, посвященная выработке стратегии коллективного анализа интерпретаторов/виртуальных машин языков с управляемой памятью. В совокупности присутстовало более чем 40 человек от 15+ организаций, в числе которых Представители Айдеко, Аладдин, ИВК/Базальт, ИСП РАН, Код Безопасности, Лаборатория Касперского (отдельная благодарность коллегам из ЛК за офлайн+онлайн хостинг встречи!), ИЛ Фобос-НТ и д.р (не все присутствующие онлайн было опознаны). Число присутствовавших и активность общения, особенно в офлайн-части, внушает осторожный оптимизм - поднимавшиеся темы явно близки сообществу, особенно с учетом повышения требований со стороны Регуляторов и трансформации сертификационных процессов в направлении выявления уязвимостей архитектуры и кода. Соответственно есть все шансы на то, что дело будет жить и приносить ожидаемые плоды.

Краткое резюме прошедшей встречи:
0) Встреча признана успешной, задекларирована готовность работать на реальный результат (повышение качество тестирования кода и архитектуры), а не на "бумаги".
1) следующая встреча состоится через 3 недели (1 апреля, в четверг, предварительно в 17.00). Режим прежний - офлайн+онлайн. Желающие участвовать очно - пожалуйста напишите мне где-то за неделю, чтобы мы могли оценить число участников и организовать помещение, если наберется много желающих.
2) Ссылка на видеозапись трансляции будет размещена в чате по динамике и в организационном чате.
3) Объединение усилий в направлении анализа интерпретаторов/виртуальных машин языков с управляемой памятью это первая ласточка. Аналогичный подход может быть применен для разделения усилий по всем популярным опенсорс-пакетам.
4) В офлайн-части активно обсуждался вопрос о создании централизованного репозитория патчей для популярных опенсорс-пакетов. В ходе второй части следующей встречи данный вопрос также будет обсуждать в ходе общего трека.
5) Представлена концепция развития Crusher в направлении повышения степени автоматизации покрытия кода, подлежащего анализу, фаззинг-тестами.
6) Для решения общих организационных вопросов, связанных с объединением усилий по развитию средств и методик анализа, создана публичная группа @sdl_community. Дальнейшая часть резюме размещена в ней.

Опубликовали видео с круглого стола по Кибербезопасности на isparasopen 2020. Плеер и хронометраж прикреплены приблизительно в середине странички https://www.isprasopen.ru/2020/

Подробности в @sdl_community

Добрый день, коллеги! Небольшой пресс релиз.

ИСП РАН предоставляет ресурсы для развертывания набора репозиториев содержащих доверенные версии opensource пакетов, в первую очередь - интерпретаторов.

А также обеспечивает организационно-техническую поддержку инфраструктуры.
Вопросы связанные с аудитом кода целевых пакетов, исправлением ошибок, поддержанием целостности,
работоспособности и взаимодействия с сообществом открытого кода возлагаются на главных мейнтейнеров пакета.
Список пакетов и список ответственных мейнтейнеров формируются сообществом. Объем задействованных мощностей будет пропорционален объему целей.
Варианты работы (подписывание коммитов, вопросы доверия, обмена ключами и т.д.) вырабатываются сообществом и реализуются ИСП РАН в рамках упомянутой
инфраструктуры.
Примерная дорожная карта развития инфраструктуры
На текущем этапе выполняется:
- анализ потребности разработчиков в тех или иных opensource-пакетах в первую очередь - интерпретаторах;
- определение поверхности атаки на указанные пакеты в типовых сценариях их применения;
- накопление сведений о методах и подходах к анализу.
На первом этапе интеграцию со средством статического анализа SVACE.
Для каждого пакета будет производится анализ и накопление и перенос разметки между версиями ПО
Разметка предупреждений выполняется силами сообщества
На втором этапе интеграцию с различными инструментами динамического анализа (Crusher, LibFuzzer, AFL forks...)
будет производится накопление и минимизация корпуса
Обнародованием достигаемых результатов динамического анализа и интеграцией их со Svace
Фаззинг тесты формируются совместно участниками сообщества
Фаззинг осуществляется на мощностях активных участников сообщества с последующей подачей корпуса входных данных и результатов дополнительных средств анализа в единый репозиторий
На инфраструктуре ИСП РАН производится анализ дедупликация и верификация достигаемого тестового покрытия
Централизованный репозиторий файлов различных форматов составляющих корпус начальных входных данных
Будет производится сборка проекта, запуск встроенного в пакет набора тестов и фаззинг тестированиедля роста покрытия и поиска ошибок с последующим обновлением централизованного репозитория