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

Программно-аппаратная платформа CHERIoT 1.0 для повышения безопасности кода на языке Си
10:12, ноября 6, 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

Продвижение кода на языке Rust в ядро Linux происходит медленнее, чем ожидалось

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

Интернет, Игры 00:12, августа 29, 2024 | opennet.ru
Платформа Twitch распустила Консультативный совет по безопасности

Платформа Twitch распустила «Консультативный совет по безопасности» Как стало известно, 31 мая Twitch распустил Консультативный совет по безопасности, что вызвало определенное беспокойство в сообществе. Совет, созданн …

Технологии, Наука 08:45, июня 1, 2024 | ferra.ru
Свеза цифровизирует охрану труда для повышения безопасности

«Свеза» цифровизирует охрану труда для повышения безопасности Лесопромышленная группа «Свеза» начала внедрение цифровой платформы Контроля охраны труда (ЭРМ КОТ) — современного... …

Интернет, Игры 15:12, апреля 28, 2025 | cnews.ru
Эксперт назвал необходимые меры для повышения безопасности ТЦ

Эксперт назвал необходимые меры для повышения безопасности ТЦ Для повышения уровня безопасности торговых центров (ТЦ) необходимо создать стационарные посты полиции рядом с ними, организовать пожарные дружины и п …

Основные новости 15:20, мая 18, 2024 | iz.ru
Платформа Содружество представила новые сервисы для нетворкинга в сфере финансовой безопасности

Платформа «Содружество» представила новые сервисы для нетворкинга в сфере финансовой безопасности Один из них - сервис «Публичный профиль», где можно находить единомышленников, публиковать посты, представлять себя сообществу и работодателям …

Основные новости 00:12, октября 5, 2025 | atvmedia.ru
Kubernetes-платформа Deckhouse совместима с российским решением для безопасности контейнеров Luntry

Kubernetes-платформа Deckhouse совместима с российским решением для безопасности контейнеров Luntry Совместимость подтверждена по итогам испытаний, которые провели инженеры компаний «Флант» и Luntry. Теперь пользователи Deckhouse могут повысить безо …

Технологии, Наука 20:00, мая 19, 2024 | iemag.ru
Nerpa и Лаборатория Касперского выпустили программно-аппаратные комплексы (ПАК) для повышения корпоративной безопасности

Nerpa и «Лаборатория Касперского» выпустили программно-аппаратные комплексы (ПАК) для повышения корпоративной безопасности Производитель ИТ-оборудования Nerpa и разработчик решений в области информационной безопасности «Лаборатория... …

Интернет, Игры 13:30, июня 5, 2024 | cnews.ru
Sitronics Group и АО ГЛОНАСС будут развивать спутниковые сервисы для повышения безопасности транспорта и массового внедрения беспилотной авиации

Sitronics Group и АО «ГЛОНАСС» будут развивать спутниковые сервисы для повышения безопасности транспорта и массового внедрения беспилотной авиации Спутниковый сегмент для гибридной связи на базе госинформсистемы «ЭРА-ГЛОНАСС» предполагается реализовать с... …

Интернет, Игры 15:30, июня 6, 2024 | cnews.ru
ГК Softline объединяет усилия с UserGate для повышения безопасности цифровой экосистемы Softline Universe

ГК Softline объединяет усилия с UserGate для повышения безопасности цифровой экосистемы Softline Universe ГК Softline (ПАО «Софтлайн»), поставщик решений и сервисов в области цифровой трансформации и информационной безопасности... …

Интернет, Игры 13:40, мая 28, 2024 | cnews.ru
Повышение безопасности в Интернете с помощью поведенческих подталкиваний: отсрочка, напоминание и обеспечение безопасности

Повышение безопасности в Интернете с помощью поведенческих подталкиваний: отсрочка, напоминание и обеспечение безопасности В условиях растущих угроз кибербезопасности многие пользователи интернета продолжают пренебрегать важными действиями по обеспечению безопасности, так …

Software 15:12, августа 30, 2024 | android-robot.com
Selectel подтвердил соответствие государственному стандарту безопасности для организаций финансовой сферы и обновил действующие сертификаты безопасно

Selectel подтвердил соответствие государственному стандарту безопасности для организаций финансовой сферы и обновил действующие сертификаты безопасности Selectel, крупнейший независимый провайдер сервисов IT-инфраструктуры в России, подтвердил соответствие продуктов требованиям ГОСТ Р 57580, который о …

Hardware 15:12, ноября 28, 2024 | 3dnews.ru
Обновление редактора кода CudaText 1.226.0

Обновление редактора кода CudaText 1.226.0 Опубликован выпуск кроссплатформенного свободного редактора кода CudaText 1.226.0, написанного с использованием Free Pascal и Lazarus. Редактор подде …

Интернет, Игры 00:12, июля 28, 2025 | opennet.ru
ИИ сэкономил Google 89% времени на миграции кода

ИИ сэкономил Google 89% времени на миграции кода Google успешно использует ИИ-инструменты для ускорения миграции внутреннего кода, сокращая время до 89%. В статье, опубликованной в препринте, расска …

Технологии, Наука 10:12, января 19, 2025 | ferra.ru
Компаниям разрешат не пускать проверяющих без QR-кода

Компаниям разрешат не пускать проверяющих без QR-кода Еще законопроект предлагает установить срок для повторного визита проверяющих, если предыдущая проверка сорвалась не по их вине. …

Закон и Право 22:35, мая 22, 2024 | pravo.ru
Черчесов оштрафован за шутку о казахском языке

Черчесов оштрафован за шутку о казахском языке Казахстанская федерация футбола оштрафовала главного тренера сборной Казахстана, бывшего главного тренера сборной России Станислава Черчесова на 738, …

Спорт 10:12, октября 18, 2024 | kommersant.ru
На каком языке думают глухие люди

На каком языке думают глухие люди Что звучит в головах глухих людей? Ученые долго не могли найти ответ на этот вопрос. Источник изображения: americanhearing.us Когда мы о чем-то размы …

Технологии, Наука 05:12, октября 24, 2024 | hi-news.ru
Выпуск PortableGL 0.98, реализации OpenGL 3 на языке Си

Выпуск PortableGL 0.98, реализации OpenGL 3 на языке Си После более года разработки подготовлен выпуск проекта PortableGL 0.98, развивающего программную реализацию графического API OpenGL 3.x, написанную ц …

Интернет, Игры 17:10, мая 7, 2024 | opennet.ru
Где смотреть презентацию Apple 7 мая на русском языке

Где смотреть презентацию Apple 7 мая на русском языке Готовы к презентации Apple? Изображение: 9to5mac.com Сегодня, 7 мая, Apple проведет первую полноценную презентацию своих устройств в 2024 году. До эт …

Технологии, Наука 14:35, мая 7, 2024 | appleinsider.ru
Выпуск PortableGL 0.99, реализации OpenGL 3 на языке Си

Выпуск PortableGL 0.99, реализации OpenGL 3 на языке Си После полутора лет разработки подготовлен выпуск проекта PortableGL 0.99, развивающего программную реализацию графического API OpenGL 3.x, написанную …

Интернет, Игры 15:12, сентября 17, 2025 | opennet.ru
7 правил грамотного свадебного дресс-кода для гостей

7 правил грамотного свадебного дресс-кода для гостей Если вы готовитесь стать гостем такого романтического мероприятия, обязательно ознакомьтесь с нашим списком негласных правил, которые помогут избежат …

Шоу-бизнес 18:20, мая 30, 2024 | woman.ru
JSFuck. Разбираем уникальный метод обфускации JS-кода

JSFuck. Разбираем уникальный метод обфускации JS-кода Для подписчиковДавай отложим в сторону сухую техническую прагматику и поговорим о прекрасном. Ты спросишь: что может прекрасного в обфускации кода? Я …

Технологии, Наука 05:50, июня 6, 2024 | xakep.ru
Google переходит к публикации кода Android дважды в год

Google переходит к публикации кода Android дважды в год На сайте репозитория AOSP (Android Open Source Project), в котором размещён исходный код платформы Android, появилось предупреждение об изменении схе …

Интернет, Игры 20:12, января 9, 2026 | opennet.ru
В многопользовательском редакторе кода Zed обеспечена поддержка Linux

В многопользовательском редакторе кода Zed обеспечена поддержка Linux Команда разработчиков текстового редактора Zed объявила о реализации поддержки платформы Linux. Готовые сборки, подготовленные для архитектур x86_64 …

Технологии, Наука 10:12, июля 13, 2024 | opennet.ru
DARPA развивает AI-транслятор для переписывания Си-кода на Rust

DARPA развивает AI-транслятор для переписывания Си-кода на Rust Управление перспективных исследовательских проектов Министерства обороны США (DARPA) представило проект TRACTOR (Translating All C to Rust), нацеленн …

Интернет, Игры 20:12, августа 12, 2024 | opennet.ru
Уязвимость в Net-SNMP, допускающая удалённое выполнение кода

Уязвимость в Net-SNMP, допускающая удалённое выполнение кода В пакете Net-SNMP, реализующем протоколы SNMP v1, SNMP v2c и SNMP v3, выявлена уязвимость (CVE-2025-68615), позволяющая добиться удалённого выполнени …

Интернет, Игры 15:12, декабря 30, 2025 | opennet.ru
ЕВРАЗ доверил ревизию кода искусственному интеллекту

ЕВРАЗ доверил ревизию кода искусственному интеллекту Третий Хакатон ЕВРАЗа привлек более 600 IT-специалистов со всей страны, а всего о нем узнали около 500 тыс. человек. В мероприятии участвовали как оп …

Технологии, Наука 20:12, декабря 14, 2024 | astera.ru
ЦБ рассматривает вопрос создания персонального QR-кода для покупателей

ЦБ рассматривает вопрос создания персонального QR-кода для покупателей Центральный Банк планирует изучить вопрос создания персональных QR-кодов для покупателей, что может привести к замене процедуры сканирования QR-кода …

Общество, регионы 15:12, октября 15, 2024 | versia.ru
Amazon работает над инструментом генерации кода на основе ИИ

Amazon работает над инструментом генерации кода на основе ИИ Согласно утечке, попавшей в руки Business Insider, Amazon Web Services разрабатывает продвинутый ИИ-инструмент под названием Kiro — он способен генер …

Технологии, Наука 15:12, мая 7, 2025 | itzine.ru
Группа Metallica анонсировала концерт на русском языке

Группа Metallica анонсировала концерт на русском языке Группа Metallica анонсировала свой предстоящий концерт на русском языке, после чего рокеров раскритиковали фанаты. Об этом сообщает Life. "Жалкие", " …

Культура и искусство 05:12, июня 21, 2024 | gazeta.ru
Премьер Словакии обратился к гражданам на русском языке

Премьер Словакии обратился к гражданам на русском языке Словацкий премьер-министр Роберт Фицо использовал в том числе русский язык, поздравляя соотечественников с Новым годом в ... …

Политика 15:12, января 1, 2026 | gazeta.ru
Фишинг-атака на разработчиков пакетов на языке Rust

Фишинг-атака на разработчиков пакетов на языке Rust Организация Rust Foundation предупредила разработчиков о выявлении фишинг-атаки против пользователей репозитория crates.io. Атака напоминает наблюдае …

Интернет, Игры 15:12, сентября 17, 2025 | opennet.ru
Выпуск Arti 1.4.0, официальной реализации Tor на языке Rust

Выпуск Arti 1.4.0, официальной реализации Tor на языке Rust Разработчики проекта Tor опубликовали выпуск Arti 1.4.0, реализации Tor-клиента, написанного на языке Rust. Ветка 1.x отмечена как пригодная для испо …

Интернет, Игры 05:12, февраля 13, 2025 | opennet.ru