Microsoft представила на GitHub язык программирования Project Verona

Microsoft представила на GitHub язык программирования Project Verona

Microsoft представила на GitHub язык программирования Project Verona

Специалисты Microsoft работают над новым языком программирования, позаимствовав отдельные идеи у популярного Rust. Новый проект, предназначенный для безопасного кодинга, получил название Project Verona.

Исследователь из Microsoft Мэттью Паркинсон впервые познакомил общественность с Project Verona в прошлом году, пообещав, что корпорация вскоре сделает проект общедоступным.

Теперь Project Verona доступен на GitHub, там же есть дополнительная информация о проекте и его задаче — создать более безопасные системы за счёт лучшего управления памятью и работы песочниц.

По словам Паркинсона, Project Verona поможет защитить код, написанный на языках C, C# и присутствующий в отдельных устаревших разработках Microsoft. Речь идёт о таких местах кода, от которых техногигант не хочет избавляться, но желает их лучше защитить.

Помимо Rust, на создание Project Verona Microsoft вдохновили концепты Cyclone и Pony. Корпорация надеется, что общедоступность проекта привлечёт специалистов, которые захотят изучить задумку Project Verona и внести свой вклад.

AM LiveПодписывайтесь на канал "AM Live" в Telegram, чтобы первыми узнавать о главных событиях и предстоящих мероприятиях по информационной безопасности.

Защищённый гипервизор Android pKVM получил SESIP Level 5

Защищённый гипервизор pKVM (protected Kernel-based Virtual Machine) для Android получил сертификат SESIP пятого уровня — максимальный уровень гарантии безопасности для IoT- и мобильных платформ. Об этом сообщили представители Google в корпоративном блоге.

pKVM — это основа Android Virtualization Framework (AVF), изолированная среда, в которой обрабатываются критически важные задачи: локальная работа с ИИ-моделями вроде Gemini Nano, проверка биометрии (лицо, отпечатки), защита контента с DRM и безопасность на уровне прошивки.

SESIP Level 5 — это высший уровень по стандарту Security Evaluation Standard for IoT Platforms, разработанному TrustCB, и означает, что система прошла тестирование по самому строгому сценарию AVA_VAN.5 из Common Criteria (ISO 15408).

По словам Google, pKVM стала первой в мире открытой системой безопасности, созданной для массового применения в потребительской электронике, которая получила такую оценку.

Тестирование проводила компания DEKRA в аккредитованных лабораториях. Результат — pKVM признана устойчивой к сложным и целевым атакам.

Google при этом отмечает, что многие TEE (Trusted Execution Environments) в устройствах либо не имеют формальной сертификации, либо находятся на более низком уровне защиты, что отпугивает разработчиков от создания действительно безопасных приложений.

Для пользователей это особенно актуально: всё больше ИИ-обработки переносится с облака прямо в смартфон, а значит, в устройстве концентрируется больше личных данных.

Как поясняет вице-президент Android Security & Privacy Дэйв Клейдермахер, дело не столько в типе данных, сколько в их ценности для атакующего: в одном месте собирается подробный профиль человека.

Хотя сама по себе отметка SESIP Level 5 мало что скажет рядовому владельцу Android, главный вывод простой — pKVM, отвечающий за ключевые функции безопасности, теперь гораздо сложнее взломать даже опытным киберпреступникам.

AM LiveПодписывайтесь на канал "AM Live" в Telegram, чтобы первыми узнавать о главных событиях и предстоящих мероприятиях по информационной безопасности.

RSS: Новости на портале Anti-Malware.ru