⬆️ Мы переходим на качественно новый уровень работы с Институтом системного программирования им. В.П. Иванникова РАН (ИСП РАН) - заключили соглашение о сотрудничестве в научно-исследовательской деятельности. Совместная работа будет вестись в сферах верификации и тестирования ПО, обработки больших данных, программной инженерии и информационной безопасности.

Инструменты статического и динамического анализа, разработанные в ИСП РАН, уже внедрены в процессы безопасной разработки, развернутые в «Базисе». В соответствии с соглашением, институт реализует проект для поиска ошибок и уязвимостей в продуктах «Базис». На подготовительном этапе уже определены 20 компонентов ПО (среди них QEMU, libvirt, и др.) для анализа.

Для нас безопасная разработка и сертификация играют ключевую роль. Мы тесно сотрудничаем с государственными учреждениями и крупным бизнесом, включая Гостех. «Базис» активно развивает и внедряет процессы и инструменты для разработки безопасного программного обеспечения, участвует в сообществе безопасной разработки Центра компетенций, поддерживаемого ФСТЭКом.

https://basistech.ru