“Автоматическая генерация provably secure code – это не миф из будущего, а уже формирующаяся парадигма, которая не обещает заменить программиста, но готова изменить саму природу создания защищённого кода. Это переход от проверки безопасности апостериори к её гарантированию априори через математически верифицируемые конструкции.” В области информационной безопасности, особенно под давлением требований 152-ФЗ и стандартов ФСТЭК, формулировка «безопасный код» часто превращается в расплывчатое обязательство. Продукт проходит проверку на уязвимости статическим и динамическим анализом, получает отчёт, устраняет часть найденного...

GitHub запустил четвертый сезон обучающей игры Secure Code Game, посвящённый безопасности автономных AI-агентов. Это бесплатный курс с открытым исходным кодом, который проходит прямо в редакторе кода и помогает разработчикам находить и устранять уязвимости. Secure Code Game появился в марте 2023 года как интерактивная тренировка: игроки эксплуатируют заведомо уязвимый код, а затем исправляют его, сохраняя функциональность. Во втором сезоне добавили задачи...