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 и внести свой вклад.

Windows 11 обманули лишней памятью и отключили защиту одним скриптом

Исследователи из Бирмингемского и Даремского университетов показали атаку Download More RAM, которая позволяет программно обходить защитные механизмы Windows 11 через некоторые модули DDR4 и DDR5. Раньше для подобных манипуляций требовался физический доступ к компьютеру, а теперь достаточно уязвимой оперативной памяти и подходящего кода.

Проблема скрывается в конфигурационном чипе DIMM, сообщающем системе объём установленной памяти.

На отдельных модулях запись в него не защищена, поэтому программа может изменить параметры и убедить Windows, что оперативной памяти вдвое больше, чем на самом деле.

Несуществующие адреса становятся псевдонимами реальных областей памяти. В результате атакующий получает возможность читать и изменять данные, которые должны быть изолированы операционной системой и процессором.

Исследователи смогли обойти Virtualization-based Security и Hypervisor-Enforced Code Integrity, отключить антивирусы и EDR-системы, вернуть заблокированные уязвимые драйверы и взломать защиту корпоративных устройств. Под удар также попали античиты, работающие на уровне ядра.

Команда собрала однокликовый сценарий, который создаёт алиасы памяти, перезагружает компьютер и отключает антивирус без дальнейшего участия пользователя.

Как минимум по одной незащищённой линейке памяти обнаружилось у Corsair, G.Skill и ADATA. Microsoft присвоила уязвимости идентификатор CVE-2026-23670 и выпустила меры защиты ещё в апреле 2026 года. Текущая версия атаки не работает на обновлённых системах с включённым Secure Boot.

Пользователям рекомендуют установить августовские обновления Windows и проверить состояние Secure Boot. Corsair добавила защиту от записи в iCUE, аналогичная функция появилась в HWiNFO, а некоторые платы позволяют запретить изменение конфигурации памяти через BIOS.

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