Обнаружение уязвимостей в машинном коде AArch64 с помощью цифрового двойника

США и Запад · 3 авг.

Предложен объяснимый цифровой двойник для обнаружения уязвимостей в машинном коде AArch64 без доступа к исходному коду. Двойник воспроизводит выполнение программы, сохраняя состояние регистров, памяти и выделенных блоков. Каждая инструкция преобразуется в событие трассы, а уязвимости описываются символическими правилами в алгебре Клини с тестами, которые компилируются в конечные автоматы для сканирования трассы без SMT-решателя.

Почему это важно

Новизна в использовании цифрового двойника для анализа исполняемого кода, что расширяет применение концепции на кибербезопасность и управление активами программного обеспечения.

Заголовок оригинала: Vulnerability Detection in AArch64 Machine Code Using a Digital Twin

Читать первоисточник: arXiv API — полнотекстовый поиск "digital twin"

Перевод и краткое изложение — машинные, по материалам источника. Полный текст статьи не републикуется; права на него принадлежат источнику.

Рядом по теме

Цифровой двойникСША и Запад3 дн

DNative-Twin: графовые решения и цифровые двойники для воспроизводимых решений ИИ-агентов

Представлена графовая платформа цифрового двойника, которая записывает полный путь решения агента ИИ (типизированную траекторию) и позволяет воспроизводить механизм принятия решений в изолированной среде. Система связывает наблюдаемое состояние, выбранный путь и авторизацию, обеспечивая прозрачность и сравнение при изменении условий. Framework протестирован на трёх публичных наборах данных бизнес-процессов.

ЦДГЦДПarXiv API — полнотекстовый поиск "digital twin" ↗

Цифровой двойникСША и Запад4 дн

Цифровой двойник мыши: интеграция нейродинамики, биомеханики и осязания

Предложена концепция цифрового двойника мыши как воплощенной динамической системы, объединяющей нейронную активность, биомеханику, сенсорную обратную связь и взаимодействие со средой. Для построения используются данные КТ, анатомические срезы и имиджинг Scx-GFP, а также модели нейродинамики Бонхоффера-ван дер Поля.

arXiv API — полнотекстовый поиск "digital twin" ↗

Цифровой двойникСША и Запад3 дн

Прототип цифрового двойника инжектора CEBAF под управлением EPICS

Разработан прототип системы, в которой EPICS управляет симуляцией оптики пучка для инжектора CEBAF, при этом симуляция может работать на том же компьютере или через сеть. Система моделирует линию с несколькими десятками магнитов и диагностических устройств.

arXiv API — полнотекстовый поиск "digital twin" ↗