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

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

Представлен финальный вариант спецификации программной-аппаратной платформы CHERIoT 1.0 (Capability Hardware Extension to RISC-V for Internet of Things), определяющей расширение набора команд (ISA) для создания защищённых устройств. CHERIoT предоставляет аппаратные возможности для отслеживания доступа к памяти, проверки корректности работы с указателями и обеспечения изоляции блоков кода. Одновременно опубликован стабильный релиз эталонной формальной модели CHERIoT ISA, определённой на языке Sail. Наработки проекта распространяются под лицензией BSD....
06.11.2025
Сообщает: Источник  
Рубрика: «Игры и Интернет»   Поделиться: Поделиться новостью в Facebook Поделиться новостью в Twittere Поделиться новостью в VK Поделиться новостью в Pinterest Поделиться новостью в Reddit

no-code - пакет для скрытия кода на языке Pythonno-code - пакет для скрытия кода на языке Python Опубликован инструментарий no-code, позволяющий скрывать код в скриптах на языке Python. Преобразованный скрипт выглядит в редакторах кода как одна с ...

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

Главный фанат кода на языке С и ярый ненавистник Rust сложил полномочия мейнтейнера Linux из-за обиды на ТорвальдсаГлавный фанат кода на языке С и ярый ненавистник Rust сложил полномочия мейнтейнера Linux из-за обиды на Торвальдса Создатель Linux Торвальдс своим поведением добился ухода еще одного важного члена сообщества разработчиков Linux, пока частичного. Кристоф Хеллвиг, г ...

Платформа NotebookLM помогает учиться на родном языке: Google добавила поддержку 80 языковПлатформа NotebookLM помогает учиться на родном языке: Google добавила поддержку 80 языков Теперь функция Video Overviews поддерживает 80 языков, включая французский, немецкий, испанский и японский. The post Платформа NotebookLM помогает уч ...

В Max усилили системы информационной безопасности, добавив автоанализ кодаВ Max усилили системы информационной безопасности, добавив автоанализ кода VK Security Gate создан для непрерывного и автоматизированного анализа кода для проверки целостности, на предмет возможных уязвимостей и аномалий ...

Chrome не будет запускаться с правами администратора ради повышения безопасностиChrome не будет запускаться с правами администратора ради повышения безопасности Изменения в Chromium не позволят браузеру Chrome запускаться от имени администратора. Разработчики объясняют, что эта мера направлена на повышение бе ...

В Великих Луках пройдут рейды ГИБДД для повышения безопасности на дорогахВ Великих Луках пройдут рейды ГИБДД для повышения безопасности на дорогах Во время рейдов инспекторы будут проводить проверки как среди водителей, так и среди пешеходов ...

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