Компания также отчиталась об успешной попытке использования Rust для удаления небезопасного кода из Windows. Project Verona — исследовательский проект Microsoft, призванный сделать Windows 10 более безопасной операционной системой за счёт переписывания низкоуровневых компонентов на новом языке программирования, основанном на Rust.
Порядка 70% обнаруженных за последние 12 лет уязвимостей связаны с безопасностью памяти. Каждый второй вторник месяца Microsoft выпускает обновления для операционных систем, которая включают в себя исправления проблем с безопасностью. Именно поэтому за основу проекта был выбран язык Rust, позволяющий разработчикам писать код, не задумываясь об этом классе проблем.
По словам Адама Бурча, инженера-программиста команды Hyper-V, опыт работы с Rust оказался весьма положительным. В настоящее время Microsoft не готова сообщить о том, какие продукты будут перенесены на Rust, но компания пообещала информировать о ходе проводимых экспериментов. Сейчас в языке отсутствуют некоторые необходимые возможности, но он уверен, что Microsoft сможет внести свой вклад в формирование будущего Rust.