weird machine эксплуатация
-
На проверке Weird machines: обнаружение скрытых вычислений через symbolic execution, fuzzing и формальные методы
В 2013 году Bangert et al. показали на USENIX WOOT штуку, от которой у меня до сих пор мурашки: Тьюринг-полную вычислительную систему, построенную исключительно на механизме обработки page fault в x86. Ни одна инструкция оригинальной программы не исполнялась - вся «логика» порождалась...- Сергей Попов
- Тема
- angr binary analysis concolic execution уязвимости fuzzing бинарный анализ gadget chains rop анализ rop цепочки анализ sat smt решатели symbolic execution уязвимости weird weird machine эксплуатация weird machines обнаружение автоматический поиск уязвимостей формальная верификация безопасность
- Ответы: 0
- Раздел: Анализ уязвимостей и исследования