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

Контроллер памяти AMD научили обходить аппаратную изоляцию

Исследователь Кристофер Домас опубликовал PoC-проект skitter-creek-bath-salts, демонстрирующий обход аппаратной защиты памяти на процессорах AMD Family 16h. Техника манипулирует настройками контроллера DRAM и позволяет обращаться к областям, которые должны быть недоступны даже операционной системе, ядру и коду с привилегиями ring 0.

Обычно программные и аппаратные механизмы контролируют доступ по физическим адресам.

Но последнюю точку в маршруте ставит контроллер памяти: он переводит адрес в конкретные координаты DRAM — канал, ранг, банк, строку и столбец.

Домас показал, что изменение одного регистра может перенастроить это преобразование уже после срабатывания вышестоящих средств защиты. В результате появляется альтернативный адрес, ведущий к тем же ячейкам DRAM. Охраняемый вход остаётся заперт, но контроллер внезапно рисует вторую дверь прямо в стене.

 

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

Для поиска адресов-двойников проект использует линейную алгебру и SMT-решатель Z3. Инструменты восстанавливают связь между обычным и изменённым отображением памяти, после чего вычисляют алиас для защищённой области.

Исследователь продемонстрировал потенциальный доступ к памяти AMD Platform Security Processor, включая данные fTPM, защищённой области System Management Mode, состояниям процессора C6 и хранилищу микрокода. Последний сценарий допускает не только извлечение копии патча, но и её возможное изменение перед восстановлением состояния ядра.

PoC проверяли только на AMD Family 16h. Данных об аналогичной уязвимости в новых AMD, Intel, ARM или RISC-V нет.

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