weird
-
Статья 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
- Раздел: Анализ уязвимостей и исследования
-
Статья Weird machines в TLS: скрытые вычислительные примитивы в handshake OpenSSL и BoringSSL
Ни один TLS-стек, который я пропускал через дифференциальный фаззинг, не отвергал все невалидные state transitions. Ни OpenSSL, ни BoringSSL, ни GnuTLS - каждый принимал хотя бы часть переходов, не описанных в RFC. FlexTLS (2015) подтвердила это систематически: все протестированные реализации...- Сергей Попов
- Тема
- boringssl внутреннее устройство cve-2017-3737 machines openssl уязвимости handshake protocol state machine exploitation tls handshake эксплуатация weird weird machines в tls дифференциальный фаззинг tls скрытые вычислительные примитивы
- Ответы: 0
- Раздел: Анализ уязвимостей и исследования