CHERIoT 1.0: расширение RISC‑V для безопасности C/C++

Опубликована спецификация и формальная модель на Sail. CHERIoT добавляет ISA‑поддержку контроля памяти, целостности и изоляции указателей, позволяя защищать существующий код C/C++ при перекомпиляции. Наработки распространяются под BSD. CHERIoT: Microsoft представила открытую платформу для защиты кода на C
Эталонный 32‑бит RISC‑V с ISA CHERIoT, инструменты LLVM, Verilog‑ядро Ibex, микроконтроллер Kudu и CHERIoT RTOS (C++, MIT) с компартментами для изоляции на устройствах с 256 МБ. Источник: opennet.ru/64180-cheriot Дайджест OpenNet: главные IT‑события
По материалам OpenNet: порт ядра Linux в WebAssembly (в браузере), релиз Python 3.14, Google Coral NPU, изменения в RubyGems, атака Pixnapping, OpenZL и серия новых релизов ПО и дистрибутивов.

Читать далее: https://www.opennet.ru/opennews/art.shtml?num=64180

#ru

@linux_n_linus | Другие наши каналы