#верификация
-
ASMC: связка Ghidra и CBMC для проверки ассемблера
Филип Цукер представил ASMC — инструмент, который поднимает семантику ассемблера из Ghidra в модель-чекер CBMC. Отдельного внимания заслуживает то, что основной код написан с помощью ИИ.
-
Проект возрастной верификации ЕС потребует аппаратной аттестации
Европейский проект по проверке возраста пользователей, судя по его требованиям, будет опираться на привязанную к устройству аппаратную аттестацию.