Программно-аппаратная платформа CHERIoT 1.0 для повышения безопасности кода на языке Си

Программно-аппаратная платформа CHERIoT 1.0 для повышения безопасности кода на языке Си
00:20, ноября 10, 2025 Представлен финальный вариант спецификации программной-аппаратной платформы CHERIoT 1.0 (Capability Hardware Extension to RISC-V for Internet of Things), определяющей расширение набора команд (ISA) для создания защищённых устройств. CHERIoT предоставляет аппаратные возможности для отслеживания доступа к памяти, проверки корректности работы с указателями и обеспечения изоляции блоков кода. Одновременно опубликован стабильный релиз эталонной формальной модели CHERIoT ISA, определённой на языке Sail. Наработки проекта распространяются под лицензией BSD....
Источник: www.opennet.ru
 
 

Поделиться новостью в Facebook Поделиться новостью в Twittere Поделиться новостью в VK Поделиться новостью в Pinterest Поделиться новостью в Reddit

Объявлены победители 28 конкурса по написанию запутанного кода на языке Си

Объявлены победители 28 конкурса по написанию запутанного кода на языке Си Опубликованы исходные тексты работ, победивших в двадцать восьмом конкурсе IOCCC (International Obfuscated C Code Contest), участникам которого предл …

Наука и Технологии 16:20, августа 6, 2025 | opennet.ru
Продвижение кода на языке Rust в ядро Linux происходит медленнее, чем ожидалось

Продвижение кода на языке Rust в ядро Linux происходит медленнее, чем ожидалось В своём выступлении на конференции Open Source Summit China Линус Торвальдс рассказал, что он ожидал более быстрого процесса внедрения в ядро компоне …

Игры и Интернет 08:20, августа 31, 2024 | opennet.ru
Новая версия vGate R2 4.95 от Кода Безопасности выходит в продажу после сертификации ФСТЭК России

Новая версия vGate R2 4.95 от «Кода Безопасности» выходит в продажу после сертификации ФСТЭК России Новая версия СЗИ vGate 4.95 прошла инспекционный контроль ФСТЭК России и теперь доступна для заказа. Об этом CNews сообщили... …

Игры и Интернет 16:20, октября 10, 2024 | cnews.ru
T2 и Совкомбанк договорились о партнерстве для повышения безопасности клиентских операций

T2 и Совкомбанк договорились о партнерстве для повышения безопасности клиентских операций T2 и Совкомбанк договорились о партнерстве для повышения безопасности клиентских операций T2, российский оператор мобильной связи, и Совкомбанк объяв …

Главные новости 08:20, октября 19, 2024 | progorod58.ru
Датчики могут обнаруживать утечки водорода для повышения безопасности инфраструктуры

Датчики могут обнаруживать утечки водорода для повышения безопасности инфраструктуры Исследователи Fraunhofer разработали сенсорные системы и измерительное оборудование, которые обнаруживают утечки в водородных линиях и резервуарах. П …

Hardware 16:20, марта 6, 2025 | android-robot.com
Китайские учёные задействовали Raspberry Pi для повышения безопасности туннельных конструкций

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

Наука и Технологии 08:20, ноября 1, 2024 | ixbt.com
Яковлевский ГОК Северстали реализует цифровые проекты для повышения безопасности в шахте

Яковлевский ГОК «Северстали» реализует цифровые проекты для повышения безопасности в шахте Яковлевский горно-обогатительный комбинат тестирует сразу несколько цифровых решений в области охраны труда... …

Игры и Интернет 00:20, мая 18, 2025 | cnews.ru
Гарантия безопасности: платформа Боцман получила государственную верификацию ФСТЭК России

Гарантия безопасности: платформа «Боцман» получила государственную верификацию ФСТЭК России Получение статуса зарегистрированного средства защиты информации укрепляет позиции платформы «Боцман» как одного из ключевых игроков на рынке контейн …

Наука и Технологии 16:20, декабря 18, 2025 | iemag.ru