Рекриптор
228 subscribers
88 photos
12 videos
3 files
263 links
Заметки на полях о практической безопасности и не только
Download Telegram
Вернёмся к CHERI. Указатели в языках C и C++ - это краеугольный камень. Особенно - в C. Можно ли от них отказаться и заменить какими-то другими конструкциями (какими-то описателями, содержащими помимо адреса ещё какую-то информацию) софтверно в рамках одного программного модуля? В принципе, да. Но будут понятные особенности взаимодействия с внешними компонентами, в которых такой замены не производилось, во-первых. Например, всякие API, на которые нужно делать обёртки. Во-вторых, это, по сути, свой менеджер памяти, который громоздок и скорости явно не прибавит. Причём, это уже не будет классический C\C++, ибо разработчику для реализации придётся использовать некоторые расширения в каком-то виде (типа каких-нибудь intrinsics или классов или просто API). Это в-третьих. Короче, так можно изобрести какой-нибудь .Net Framework или что-то в этом духе. Можно, конечно, пойти дальше, и такую конструкцию распространить на всю систему, но, как минимум, одна проблема останется: это будет очень медленно работать. Это как всю ОС на условный .Net Framework перевести. C\C++ - это языки системного программирования. Код должен быть быстрым, эффективным, не ресурсоёмким. Да и к безопасности этой конструкции есть вопросы, ибо она чисто софтверная.
Всё начинает играть новыми красками, если к софтверным возможностям добавить аппаратные - на уровне архитектуры процессора добавить возможность работы с расширенной конструкцией указателя. В CHERI используются указатели двойного размера и называются не указателями, а capability. Например, для 64-х битной архитектуры размер capability составит 128 бит. Половина такого указателя - это адрес, как и раньше. Другая половина - дополнительная информация: границы (bounds), разрешения или права (permissions), тип объекта (к примеру, код или данные), флаги (служебные флаги). Память в архитектуре CHERI является тегированной, поэтому просто взять, и поменять поля в структуре capability не получится. Есть такая очень важная штука для каждого capability - тег Validity. Доступ к нему есть только у процессора, хранится он отдельно. При попытке модификации (например, перезапись) capability превращается в обычную структуру данных (тег сбрасывается), а значит, использование этого указателя в качестве указателя дальше невозможно.
Что насчёт use-after-free? При освобождении памяти все теги Validity для указателей (capabilities) сбрасываются, а значит, пользоваться этими указателями будет невозможно. Т.е. происходит эдакий отзыв указателей. Это существенно усложняет эксплуатацию уязвимостей use-after-free.

Что в сухом остатке? Архитектура интересная и, судя по открытым источникам, действительно усиливающая безопасность. Есть чипы, её поддерживающие (Arm Neoverse N1). Есть проект по адапатации концепции CHERI для IoT (CHERIoT) от Microsoft. Т.е. желание и возможности расширять влияние этой концепции тоже есть. Основной минус - софт придётся рефакторить и пересобирать. Хоть и утверждается, что "оно, преимущественно, само" (для больших кодовых баз (миллионы строк кода) требуется изменить лишь 0.026% строк), но мы точно знаем, как оно бывает в жизни. Для упрощения рефакторинга есть компилятор CHERI LLVM. Но он всё-таки не совсем идентичен gcc, а значит, могут быть нюансы. При этом поддерживать CHERI должен весь софт от ОС до последнего пользовательского приложения: никакого режима совместимости (здесь capabilities, а здесь обычные указатели) нет. Из ОС там только FreeBSD. Здесь напрашивается, конечно, вариант с отдельным CHERI-ядром для чувствительных программных компонент.

Есть ли будущее? Определённо да. Захватит ли CHERI-концепция мир? Если и да, то очень не скоро. Зоопарк экосистем огромен и растёт. Это очень сложно отрефакторить и портировать на новую архитектуру. Впрочем, как будут продвигать. Посмотрим.

#почитать
🔥2❤1
Напоминаем, что до 27 февраля сего года можно зарегистрироваться на дистанционную олимпиаду по криптографии и компьютерной безопасности CryptoFox. Студенты, дерзайте!
👍2
Использовать LLM для деанонимизации в Сети логично. Вот люди и используют: https://arxiv.org/html/2602.16800v1. Статья называется весьма громко: "Масштабная деанонимизация в Интернете с помощью больших языковых моделей". Результаты довольно внушительны:
Для оценки эффективности наших атак мы создали три набора данных с известными эталонными значениями. Первый связывает Hacker News с профилями в LinkedIn с помощью кроссплатформенных ссылок, которые встречаются в профилях. Во втором наборе данных мы сопоставляем пользователей из разных сообществ, обсуждающих фильмы на Reddit, а в третьем — разделяем историю одного пользователя на Reddit по времени, чтобы создать два псевдонима для сопоставления. В обоих случаях методы на основе больших языковых моделей значительно превосходят классические базовые методы, обеспечивая до 68 % полноты при 90 % точности, в то время как лучший метод без использования больших языковых моделей показывает почти нулевой результат.

Интересно, как это всё будет работать с ураганным ростом объёма синтетических данных в Сети... А ещё можно мимикрировать под кого-то другого с помощью LLM, наводя модели-анализаторы на ложный след. Пожалуй, так и будут делать. Интересно мир трансформируется...

#ии #почитать
🔥1💯1
Кратенькая работа, утверждающая, что, если просто повторить промпт, качество вывода улучшится: https://arxiv.org/abs/2512.14982
Это справедливо для не reasoning-моделей. И это логично с точки зрения механизма внимания.

От себя добавлю, что с белковыми это тоже прекрасно работает :)

#ии #почитать
😁6
Шум вокруг шпионажа Telegram слегка поутих под действием других инфоповодов, которые обсуждаются, в основном, в Telegram. Эксперты по всему, включив форсаж, с гиперзвуковой скоростью переходят в режимы "военный аналитик" и "востоковед", увлекая за собой паству любителей бюджетного дофамина.
Самое время спокойно и взвешенно ответить на вопрос о безопасности Telegram. В принципе, мы уже писали об этом, но почему бы не повториться :)
В СМИ мы видим забавную игру слов. Министр Шадаев заявил, что иностранные спецслужбы имеют доступ к переписке. На что представители Telegram заявили, что не обнаружили взлома шифрования Telegram. Однако, чтобы получить доступ к не секретной переписке (не к secret chats, где сквозное шифрование, а к обычным чатам, группам, каналам), вовсе не нужно ломать шифрование (что бы это ни значило). Достаточно, к примеру, контролировать серверы, на которых находятся базы Telegram. Кто контролирует эти серверы, мы достоверно не знаем. Ну или можно контролировать не серверы, а администрацию :) Здесь тоже вопрос открытый. Во всяком случае технически доступ к расшифрованной переписке возможен, и для этого вовсе не обязательно "ломать шифрование".
Именно поэтому, когда мы слышим изречения в стиле "мы устроили закрытое совещание в Telegram", глаза норовят вытечь вместе со слезами, учитывая, что это совещание не на двоих даже, а на группу людей. Т.е., как описано выше, доступ вообще ко всему. Не удивительно, что потом случается то, что случается. Происходит добровольный слив информации.
С сквозным шифрованием, которое в Telegram, в отличие от, например, Signal, возможно только между двумя абонентами (т.е. это не группы, не групповые звонки, не чаты, упаси Бог, каких-то подразделений, а переписка между двумя людьми), тоже не всё так просто. Мы уже писали, не хочется повторяться. Можно попробовать MITM-ить секретные чаты с расчётом, что абоненты не будут сверять отпечатки, можно поизучать метаданные, которые тоже о многом могут сказать (данные об устройстве, контакты и собеседники, временные метки, размеры сообщений, технические данные сессий, данные для геолокации и т.д.).
В сухом остатке - да, технически шпионаж возможен. В том числе практически на лету без всяких "взломов шифрования". Модель безопасности Telegram, как и практически любого другого облачного мессенджера, не позволяет коммуницировать в нём по конфиденциальным вопросам. Повышенная безопасность Telegram - это миф. И нет, как и любой другой облачный мессенджер общего назначения, эту платформу нельзя считать доверенной. Т.е. попросту нельзя решать рабочие (или, упаси Бог, служебные) вопросы в таких платформах. Мемасиками можно обмениваться, посты можно писать, фотки пересылать с осторожностью можно, а вот обсуждать что-то серьёзное - нет, табу, харам. Решения для корпоративных коммуникаций существуют. Они функционируют на доверенных серверах, функциональны, удобны, безопасны. Мы топим за eXpress, т.к. хорошо знаем его (в том числе внутреннее устройство), умеем развёртывать и настраивать, сами пользуемся несколько лет. Обращайтесь: contact@re-crypt.com

#мессенджер
🔥4
С 8 марта всех причастных! :)
🎉4
Традиционное в этот день :)
🔥4😁1
Реверс-инженер Карстен Хан описал свой недавний опыт реверс-инжиниринга с помощью LLM. Это, как мне кажется, классика, с которой сталкиваются все, кто пытается это делать впервые, полагаясь чисто на LLM и, по всей видимости, ожидая какого-то чуда.
Например, цитата:
Вердикты — это самое худшее. Большие языковые модели часто недооценивают важность своих выводов. Это происходит из-за того, что они делают неверные предположения и поспешные выводы. Если у них есть доступ к результатам VirusTotal, они, как правило, при вынесении вердикта полагаются в основном на сканеры. В моей сфере деятельности это нежелательно, потому что мы специально получаем образцы, которые не распознаются сканерами или другими автоматизированными системами. Я мог бы частично исправить ситуацию, запретив большой языковой модели использовать результаты VirusTotal при вынесении вердикта. Но это не решило проблему ошибочных вердиктов в целом.
Требуется опытный аналитик, который будет задавать уточняющие вопросы, выявлять ошибки и направлять работу больших языковых моделей в нужное русло.
На данный момент нельзя доверять большим языковым моделям вынесение вердиктов!


Да, такое встречается практически всегда, когда пытаешься решить задачу нахрапом. В итоге у людей появляется разочарование инструментом. Чем-то напоминает критику молотка, который может попасть по пальцам.
Даже просто грамотный промпт-инжиниринг позволит значительно улучшить качество. Также необходимо использовать другой инструментарий, о чём Карстен тоже говорит.
Качество и скорость анализа значительно повышаются, если в распоряжении исследователя есть подходящие инструменты и описания того, когда и как их использовать. Поэтому со временем имеет смысл создавать навыки для конкретных типов образцов, например специальный навык для анализа JavaScript, в котором будет описано, какие инструменты лучше всего подходят для этой задачи. В противном случае языковая модель будет тратить кучу токенов, пытаясь методом проб и ошибок определить, какие инструменты подходят для каждого образца.
А ещё модели нужен опыт, который можно моделировать с помощью, например, RAG. Либо через fine-tuning.
И, по-хорошему, нужен агентский подход с LLM-агентами (которые, возможно, базируются на других LLM) для решения узкоспециализированных задач.
Нужно уменьшать контекст, расставлять приоритеты эвристикам и инструментам (включая ML), которые нужно постоянно совершенствовать. Тогда результаты автоматизации будут более достойными.

#ии #реверсинг
👍2
Media is too big
VIEW IN TELEGRAM
Евгений Падалкин пишет (убрал мат — у нас не принято)

Я моушен-3d-дизайнер с 20+летним стажем.

В начале года я решил поставить эксперимент, выяснить насколько близко я к тому чтобы остаться без работы из-за ИИ. Не просто картиночки генереить в банане для рефов а по максимиуму.

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

Схема была такая – разработка синопсиса по зкт, проработка сцен, декопопозиция, продумывание опорных кадров для видео (раскадровка и лукдев), отрисовка опорных кадров, анимация, монтаж, звук.

1) Разработка сценария в чатгпт, декомпозиция. Сделать за меня работу чатгпт не смог, много галлюцинировал и не смог полностью погрузиться в контекст. Но при этом сделал ОЧЕНЬ как много, сократив мне головную боль и время процентов на 70-80.

2) Лукдев и опорные кадры. Выбрал Flux2 в комфи, в банане было бы проще и лучше, но я же краежопил. Тут результаты тоже жесть, ускорение процентов на 80 и весь мой опыт работы с огромной кучей инструментов просто пошёл мимо, вот весь, целиком! Осталась нужна только насмотренность, чувство композиции, умение формулировать свои мысли под промпт, всё. Больше не нужно ничего.

3) Генерация видео. Генерил в комфи, в основном WAN 2.2 / WAN 2.1 vace. И это конец, погромисты презирающие юикс понаписали всратых обёрток над скриптами в питонге и обвесли глючной нодовой лапшой. Для обычного человека это ад ад ад израиль, ужасный стыд и ааааа, хер настроишь хер запустишь хер поймешь.

И чего?

Тут уже помог клод, рассказывал мне что скачать, как настроить, как впихать в мой конфиг по железу, заодно как маленькому объяснял почему именно так и что вообще происходит, что отдельный кайф, потому что второй раз к нему идти уже не надо, если ты не рыбка дори.

Как сама генерация? Ну вот тут результаты смешанные. Мои классические навыки пока что дают гораздо больше контроля над происходящим во всех смыслах, время и композиция, детализация и качество.

С другой стороны – генерация видео делает кучу вещей которые я бы просто не смог сделать в графике. Тупо никак, вот нет и всё. Например кучу людей на улице под солнцем, фотореалистично осыпающийся бархан, да много всего.

Также куча сцен, которые от меня раньше потребовали бы дни настройки (столкновение в воздухе с мягкими соударениями и брызгами кучи фруктов) я сделал за 3-4 часа и 10-12 генераций, пока не подобрал правильный промпт и не доточил как надо входной кадр.

Короче - человеку без опыта вполне можно в это лезть. Нужно не ссать и опять же – насмотренность. Пошел ли мой опыт и тут к лешему? Ну да, процентов опять на 70, я бы даже сказал на 80.

4) Сборка, монтаж, интршумы, текстовые оверлеи. Тут пока все от совсем плохо (интершумы, прогресс есть но пользоваться этим в проде тупо нельзя и не нужно) до никак (текстовые оверлеи это after effects и adobe ИИ и слишком медленно внедряет) но камон, в таких вещах и опыта нужно – три месяца. Тинейджеры в телефонах это делают.

Вот такая вот картина вышла. К лешему пошло 80 процентов моего опыта и небольшая команда, из 2-3 человек, которую я бы мог нанять для ускорения процесса.

Прав ли Асемоглу в том что ии не заменит ключевого человека принимающего решения? Прав.

Но в обвязке этого моего примера человека 3-4, я бы даже сказал 5 он с рынка убрал. И это сейчас. Смею напомнить, ровно три года назад не было вообще ничего. Вот тупо вообще ничего, никаких генераторов картинок нормальных, про видео вообще не говорю.

Моя профессия в классическом виде мертва. В следующие три года скорее всего и вот эти вот остатки моих старых навыков тоже сильно трансформируются и нужно будет просто иметь фантазию и насмотренность – и всё, больше ничего нужно не будет
💯1
Хороший разбор зловреда: https://habr.com/ru/articles/1009074/
Примечательно, но уже не особо удивительно, что файлик подписан EV-сертификатом. Это уже далеко не первый случай, когда вредоносы подписываются не просто Authenticode, а EV Code Signing. Аббревиатура EV означает Extended Validation - расширенная проверка. Мы когда-то в прошлой реальности покупали такой. Расширенная проверка означает проверку существования и функционирования юрлица. Сам сертификат поставляется на USB-токене. Но, тем не менее, практика показывает, что злоумышленники идут на это. Ведь многие средства защиты до сих пор слепо полагаются на наличие подписи Authenticode. Особенно - когда речь идёт о EV. На скриншоте вердикт Рекрипториума для этого файлика.

#рекрипториум
👍1🔥1
Очередная статья о том, как правильно искать уязвимости с помощью LLM. С примерами и объяснениями, почему "Найди мне уязвимости в этом проекте" не работает. Всё в выработанной уже канве: парсинг проекта, поверхность атаки, точки входа, добавление уже найденных когда-то CVE в этом проекте в контекст (а по факту - подстройка механизма внимания), а потом уже вывод. Так что нет, нажать волшебную кнопку "Пыщ" на волшебной штуке, которая "типа всё сама", и пойти пить чай не выйдет :)

#ии #почитать #уязвимости
🔥1💯1
Много вопросов на очных и онлайн-встречах по поводу статического анализа вредоносов. Кажется, настала пора написать об этом небольшой пост. Статический анализ - это анализ без запуска на исполнение в самом широком смысле этого определения. Многие под статическим анализом понимают что-то типа эвристических движков антивируса или простых моделек ML из тех же антивирусов. На самом деле это гораздо более широкое понятие: в него входит и дизассемблирование, и анализ логики без запуска на исполнение, да и в целом реверс-инжиниринг - это, в основном, статический анализ.
Давайте "понаблюдаем", как анализирует файл (пусть это будет PE-файл) реверс-инженер, у которого стоит одна задача: понять, вредоносный файл или нет. Сначала он смотрит основные свойства файла: тип, платформу, свойства, размеры и имена секций, их энтропию, наличие TLS-коллбэков, наличие подписи Authenticode, импорты, экспорты, оверлей и что там лежит, ресурсы и т.п. Это беглый взгляд даже без дизассемблера и декомпилятора. Чем более намётан глаз реверс-инженера, тем быстрее он даже без дизассемблирования и тщательного изучения классифицирует файл уже по этим признакам. Далее он смотрит глубже: распределение вероятностей встречающихся инструкций и их последовательностей. Хороший реверсер, например, сразу на глазок выделит обфусцированный код. Как он это делает? Опыт. Он знает статистику встречаемости инструкций и их последовательностей. Он много видел как чистых, так и вредоносных файлов. И он без погружения в изучение логики видит, что код подозрителен. То же самое с данными. Что ещё видно сразу? Строки, если они есть. По ним многое понятно без анализа логики. Ещё видно использование критпографии. Это видно либо по вызову импортируемых функций, либо по коду. Наш реверсер просто крутит мышкой код в дизассмеблере и видит подозрительные вещи. Как он это делает? Опыт, набитая рука. Тысячи параметров дают чёткую картину опытному человеку. И чем он опытнее, тем лучше без погружения непосредственно в логику он сможет классифицировать файл. Если он знает, откуда файл к нему попал, то здесь начинает играть роль априорная вероятность. В общем, интуиция, подкреплённая опытом.
Можно ли обучить ИИ делать то же самое? Вполне! Если есть миллионы разных семплов вредоносных и чистых файлов и понимание, как работает Data Science. Нет, публичные датасеты не подходят. Данные надо упорно и постоянно собирать, просеивать, классифицировать, выделять из них признаки. В общем, готовить. Это не быстро и не дёшево. Здесь нужна антивирусная лаборатория. Нет данных - нет ИИ. У нас есть и антивирусная лаборатория, и миллионы семплов, и специалисты Data Science, и, как следствие, Рекрипториум.
Чем мощнее оборудование, на котором работает ИИ, тем более продвинутые модели могут там работать. Это и есть основное ограничение антивирусов. Они созданы для работы на хостах, а значит, ограничены сверху весьма небольшими ресурсами. Значит, эвристики будут простыми и грубыми, а точность сильно пострадает. На подсчёт и формирование больших векторов признаков нет ресурсов. В этом проблема мультисканеров. Особенно хорошо это проявляется на файлах скриптовых языков, но и на бинарях мы это тоже прекрасно видим.
Статический анализ статическому анализу рознь.

#ии #рекрипториум
❤6
16 апреля в 17.30 в рамках Недели прикладной кибербезопасности «CyberFox» расскажу о нашем опыте обучения моделей ИИ для анализа файлов. Просто скопирую анонс доклада с сайта:
Говоря об ИИ, имеем в виду данные, или почему данные важнее алгоритмов

Сейчас IT-отрасль испытывает настоящий бум от развития и повсеместного внедрения ИИ. Создатели практически каждого IT-продукта заявляют, что в нём присутствует ИИ. Не обошла эта тенденция и мир ИБ. Однако есть крайне важный вопрос, который витает в воздухе, но редко озвучивается: а где все эти люди берут столько данных, чтобы качественно обучить свои модели ИИ? Как они данные обрабатывают? Или это готовые и уже обученные открытые модели? Или модели ИИ обучаются на открытых датасетах? И насколько качественны открытые датасеты? Я расскажу о нашем опыте сбора датасетов для обучения наших ИИ-классификаторов файлов и почему сбор датасетов - это сложный и технологичный процесс. Расскажу, чем плохи открытые датасеты и почему многие из них годятся разве что для академических исследований, да и то не всегда. Расскажу, зачем нужно разрабатывать и обучать свои модели, когда "всё есть на гитхабе" и есть LLM, которые "всё умеют".
🔥1
Инфоцыгане и прочие эксперты по всему любят порой порассуждать про ИИ. Принимают снисходительный вид и начинают объяснять типа простыми словами для не специалистов, как они любят говорить, вворачивая какие-нибудь околонаучные или даже научные термины (обычно ни к селу - ни к городу), дабы продать свою экспертность и показать превосходство над. Вот, к примеру, есть типичный внезапный эксперт по ИИ, который рассуждает в стиле "ИИ не может выдать того, чего не знает и чему не обучался". На разных площадках на полном серьёзе об этом говорит. Новоявленного эксперта вообще не смущает, что он описывает логику обычного справочника. Про "проклятие размерности" эксперт не слышал, он стратегией занимается. Эксперта совершенно не беспокоит, что, вообще говоря, вся эта очень давняя пляска вокруг ИИ - это пляска вокруг и только вокруг обучения способности обобщать и предсказывать результат, близкий к реальному, для тех входов, которые не входили в обучающий набор. На этом всё держится и ради этого всё затевалось.Т.е. модель обучается моделировать распределение вероятности. Тот самый вероятностный подход к машинному обучению, о котором мы говорили. Если говорить о LLM, модель через, по сути, ту же базовую математику обучается моделировать в том числе и рассуждения (reasoning). Это моделирование рассуждений в сочетании агентским подходом вполне позволяет получать в том числе новые научные результаты. Так, например, было получено решение одной из проблем Эрдёша. Есть интересные результаты работы ИИ во многих отраслях: от генетики до IT-сферы. Но до сих пор мы встречаем, например, вот такие слова:
Большие языковые модели — это мощные системы распознавания образов: они изучили статистические закономерности в тексте и очень хорошо их воспроизводят.

Как отмечает нейробиолог Кристоф Кох, такие инструменты, как ChatGPT, Anthropic и Perplexity, могут лишь «пересказывать то, что написали другие». 

Или вот это:
Они вообще не «думают». Это компилятор чужих идей, искусно оформленный так, что мы воспринимаем его как нечто естественное.

Они действительно не думают в нашем понимании. Они моделируют мышление. Это модели, они так и называются. Это работает, это можно совершенствовать. Это хорошо.
Статья, откуда взяты цитаты выше: https://quillette.com/2026/03/27/ai-is-not-about-to-become-sentient-moltbook-openclaw/

Ну и чисто практическая ссылка ;) про анализ кода с помощью Claude Code: https://specterops.io/blog/2026/03/26/leveling-up-secure-code-reviews-with-claude-code/

#ии
👍3
Китайцы провели интересное исследование, в результате которого сумели улучшить вывод маленькой модели с 7 миллиардами параметров настолько, что она превзошла гораздо более обьёмные модели (в 4 раза больше параметров). Добились они этого за счёт оригинального механизма памяти. Если совсем кратко, то они в противовес традиционному подходу с RAG предлагают хранить не просто данные, а стратегии вывода - эдакие дорожные карты: не что искать, а как искать. Предлагается хранить не только "хорошие" стратегии, но и плохие - когда вывод некорректен. Таким образом, аккумулируя эти стратегии, модель обучается мыслить всё более и более качественно и корректно.
Почему это очень важно? Потому что какой-нибудь Claude, к сожалению, не лежит в кармане и всегда хочется крутых результатов на локальных моделях с как можно меньшим числом параметров.
Мой глаз зацепился за эту работу, потому что мы у себя в ходе экспериментов и
размышлений в одном из проектов пришли к чему-то подобному.
А вот и сама работа: https://arxiv.org/pdf/2604.04503

#ии #почитать
🔥3
Неделя прикладной кибербезорасности стартовала в НИЯУ МИФИ сегодня. Кто не успел зарегистрироваться, можно это сделать, написав на почту cryptofox@mephi.ru с темой "Регистрация. Неделя кибербезопасности". В письме нужно указать ФИО, телефон, ВУЗ/место работы.
Интересное использование LLM не для непосредственно нахождения багов, а для генерации тестовых наборов для фаззинга.
Цитата:
Агент изучил незнакомый код, нашел точную строку, в которой незаметно происходит сбой при определении типа, создал тестовый стенд, который действительно мог бы пройти по этому пути при правильной структуре входных данных, скомпилировал все с нужными санитайзерами и запустил фаззер. Никаких подсказок, никаких предварительных знаний о Brotli. Вся цепочка должна была сработать, и она сработала.

#фаззинг #ии #почитать #уязвимости
👍1
Свежайшая и интересная работа про построение.обвязки для эффективного поиска уязвимостей. Так, например, нашли CVE-2026-5280 и CVE-2026-6297. В этом контексте упоминается LLM с открытыми весами Kimi K2.5. Именно с её использованием были найдены 8 уязвимостей в Google Chrome, включая 2 вышеозначенных критических (побег из песочницы). Автоматизируется весь процесс исследования: от гипотез до генерации эксплоита. Сам подход, который авторы назвали AgentFlow, достаточно общий и может использоваться много для чего.

#почитать #ии #уязвимости
👍3
А меж тем вышел DeepSeek-V4-Pro с контекстом в миллион токенов с 10% KV-кэша и 27% inference FLOPs по сравнению v3.2. Это означает относительно дешёвую генерацию, которая дрстигается за счёт гибридного механизма внимания Очень хорошая новость. Пишут, работает на уровне топовых проприетарных моделей.
Технический отчёт: https://huggingface.co/deepseek-ai/DeepSeek-V4-Pro/blob/main/DeepSeek_V4.pdf
Веса: https://huggingface.co/collections/deepseek-ai/deepseek-v4

#ии
🔥1
Многие пытаются автоматизировать реверс-инжиниринг с помощью LLM. У многих получается. Очень часто в основе таких проектов лежит одно волшебное слово: Claude. Иногда встречаются другие волшебные слова, но все они про облачные модели, которые недёшевы, плюс, данные утекают, плюс, могут в любой момент забанить. А вот с моделями поменьше экспериментируют гораздо реже: это подольше и посложнее. Однако у нас вполне себе получается делать это с использованием локальной агентской системы.

Вот, к примеру, как выглядит результат полностью автоматического реверс-инжиниринга без запуска на исполнение одного wiper-а (привожу частично, потому что там много).
**Step-by-step actions (non-technical)**

1. **Launch** - You run the program.
2. **Hidden checks** - The program quietly checks whether you are running a debugger or a virtual
machine. If it detects one, it stops right away.
3. **Disk wipe** - It opens the raw disk device (`\\.\PhysicalDrive0`) and writes a block of zeros
over the first ~7.5 GB of the drive.
4. **File flood** - It creates 256 files named `file0.bin` ... `file255.bin`, each 5 MiB of zeros,
filling the disk with useless data.
5. **Thread acceleration** - While the wipe and flood are happening, it spawns many worker threads
to speed up the process.
6. **Abort** - After finishing the destructive work, it throws a managed exception that terminates
the program with a "SecurityException" message.
...
### Supporting Evidence

1. **Direct raw-disk destruction** - The binary writes zeros to the physical drive, a classic
sabotage technique (T1485).
2. **Massive file flooding** - Creates hundreds of large empty files, saturating disk space and
causing I/O contention.
3. **Anti-debug and obfuscation** - Multiple anti-debug checks and dynamic API resolution indicate a
deliberate attempt to evade analysis.
4. **Registry hive deletion capabilities** - Functions that delete entire registry hives are
present, even if not invoked in the current flow.
...

А вот downloader:
**Step-by-step actions (non-technical)**
1. **Starts silently** - no window or dialog appears.
2. **Downloads a file** using Windows' built-in `certutil` tool (the program builds a command line
that looks like a normal download request).
3. **Runs a VBScript** that is stored in `C:\ProgramData`.
4. **Pauses for 60 seconds** (a deliberate delay to avoid quick detection).
5. **Launches several executables** (`Crydasjd.exe`, `qq.sys`, `qq1.exe`, and three files that look
like logs but are actually programs).
6. **Repeats the pause** after each launch.
7. **Ends** - the program itself does not stay resident; it simply exits after starting the last
file.
...

### Supporting evidence
- **Downloader behavior** (`certutil` + `WinExec`) - classic dropper technique.
- **Execution of multiple external binaries** (including a driver) - indicates a multi-stage attack.
- **File-extension spoofing** (`.log` files executed as binaries).
- **Anti-analysis delays** (60-second sleeps).

Подчеркну, что речь идёт о скомпилированных файлах - бинарях. Тех самых exe, dll и т.д. Проект нами активно развивается, используется для внутренних нужд, уже экономя силы и время аналитиков, и обязательно станет частью нашей платформы для анализа файлов Рекрипториум. Для тех, кто приобретает её сейчас, будет хорошая скидка! Обращайтесь: recryptorium@re-crypt.com или re-crypt@soft-prom.ru

#ии #реверсинг #рекрипториум
👍6