🔗В ней приняли участие ведущиенаучныесотрудники ИСП РАН.
🎙Андрей Белеванцев, руководитель направления анализа и оптимизации программ ИСП РАН, для НОП:
«Для промышленных систем технологии разработки безопасного ПО особенно важны: цифровизация критической инфраструктуры идёт ускоренными темпами, а цена программной ошибки там велика. При этом общепринятые процессы и инструменты РБПО нужно при внедрении «приземлять» на специфику конкретной отрасли — электроэнергетики, транспорта, атомной промышленности, учитывая как особенности отраслевой регуляторики, так и технические особенности ПО и аппаратуры.
Я рассказал, как инструменты ИСП РАН могут помочь с повышением безопасности АСУТП — в частности, коллекция статических анализаторов получила поддержку стандартов MISRA и AUTOSAR, а комплекс фаззинг-тестирования Crusher умеет выполнять фаззинг произвольного кода при помощи частичной эмуляции. Общение с коллегами было продуктивным, надеемся на расширение сотрудничества».
➡️Вартан Падарян выступил с докладом «Безопасная разработка технологий ИИ» в рамках сессии «Безопасные стратегии для применения ИИ в индустриальных решениях».
✔️Андрей Белеванцев выступил с докладом «РБПО для АСУТП: как улучшить безопасность, когда все против тебя» в рамках сессии «Роль РБПО в промышленной автоматизации. Практические сценарии внедрения»
👕Организаторы конференции: медиагруппа «Авангард», компании «ИнфоТеКС» и InfoWatch.
🔗В ней приняли участие ведущиенаучныесотрудники ИСП РАН.
🎙Андрей Белеванцев, руководитель направления анализа и оптимизации программ ИСП РАН, для НОП:
«Для промышленных систем технологии разработки безопасного ПО особенно важны: цифровизация критической инфраструктуры идёт ускоренными темпами, а цена программной ошибки там велика. При этом общепринятые процессы и инструменты РБПО нужно при внедрении «приземлять» на специфику конкретной отрасли — электроэнергетики, транспорта, атомной промышленности, учитывая как особенности отраслевой регуляторики, так и технические особенности ПО и аппаратуры.
Я рассказал, как инструменты ИСП РАН могут помочь с повышением безопасности АСУТП — в частности, коллекция статических анализаторов получила поддержку стандартов MISRA и AUTOSAR, а комплекс фаззинг-тестирования Crusher умеет выполнять фаззинг произвольного кода при помощи частичной эмуляции. Общение с коллегами было продуктивным, надеемся на расширение сотрудничества».
➡️Вартан Падарян выступил с докладом «Безопасная разработка технологий ИИ» в рамках сессии «Безопасные стратегии для применения ИИ в индустриальных решениях».
✔️Андрей Белеванцев выступил с докладом «РБПО для АСУТП: как улучшить безопасность, когда все против тебя» в рамках сессии «Роль РБПО в промышленной автоматизации. Практические сценарии внедрения»
👕Организаторы конференции: медиагруппа «Авангард», компании «ИнфоТеКС» и InfoWatch.
If you initiate a Secret Chat, however, then these communications are end-to-end encrypted and are tied to the device you are using. That means it’s less convenient to access them across multiple platforms, but you are at far less risk of snooping. Back in the day, Secret Chats received some praise from the EFF, but the fact that its standard system isn’t as secure earned it some criticism. If you’re looking for something that is considered more reliable by privacy advocates, then Signal is the EFF’s preferred platform, although that too is not without some caveats. The regulator took order for the search and seizure operation from Judge Purushottam B Jadhav, Sebi Special Judge / Additional Sessions Judge. Telegram Messenger Blocks Navalny Bot During Russian Election Telegram was founded in 2013 by two Russian brothers, Nikolai and Pavel Durov. Recently, Durav wrote on his Telegram channel that users' right to privacy, in light of the war in Ukraine, is "sacred, now more than ever."
from es
