• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Книга
ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction

Под науч. редакцией: Vitaly Semenov, R. J. Scherer.

CRC Press, 2021.

Статья
Optimization of ProVerif Programs for AKE Protocols

Vinarskii E., Демаков А. В.

Programming and Computer Software. 2022. Vol. 48. No. 8. P. 781-787.

Глава в книге
Adaptive Homing Sequences for Partial Weakly-initialized Observable FSMs

Vinarskii E., Твардовский А. С., Evtushenko N. V.

In bk.: Proceedings 2021 IEEE East-West Design & Test Symposium (EWDTS). IEEE, 2021.

Препринт
Preventive Model-based Verification and Repairing for SDN Requests

Burdonov I., Kossachev A., Nina Yevtushenko et al.

arxiv.org. Computer Science. Cornell University, 2020

Поздравляем А.И. Аветисяна с избранием в академики РАН!

Директор ИСП РАН А.И. Аветисян стал первым академиком РАН по специальности «Прикладная математика и информатика, кибербезопасность» (Отделение математических наук РАН). Утверждение протоколов счетной комиссии по итогам тайного голосования состоялось 15 ноября.

Появление новой специальности связано с постановлением Президиума РАН «O мерах по развитию системного программирования как ключевого направления противодействия киберугрозам» (от 13 декабря 2018 г.). Документ был одобрен по итогам обсуждения доклада директора ИСП РАН А.И. Аветисяна. В частности, постановление предусматривает подготовку предложения в ВАК о введении новой специальности, по которой присуждаются учёные степени: «Методы и технологии анализа программно-аппаратных комплексов для обеспечения кибербезопасности».


Разработка инструментов для обеспечения кибербезопасности – одно из главных направлений деятельности Института системного программирования. Исследования по данной тематике будут широко представлены на предстоящей Открытой конференции ИСП РАН. Мероприятие состоится 5-6 декабря 2019 г. при поддержке IEEE и IEEE Computer Society, Российской академии наук, ФСТЭК России, Фонда перспективных исследований, а также бизнес-партнёров Института (Samsung Group, Huawei Technologies, Hewlett Packard Enterprise, Dell Technologies, NVIDIA Corporation).
http://www.isprasopen.ru/