Стартап AISLE сообщил, что его система автономного анализа обнаружила все 12 уязвимостей (CVE), включенных в январский релиз OpenSSL — критически важной криптографической библиотеки, обеспечивающей безопасность интернет-коммуникаций. Некоторые из этих уязвимостей существовали в коде с 1998 года и долгое время оставались незамеченными. AISLE использует cyber reasoning system (CRS) — комбинацию искусственного интеллекта и символьных вычислений, которая позволяет автономно анализировать код, создавать proof-of-concept эксплойты и предлагать исправления. Основателями компании являются бывшие сотрудники Anthropic, Avast и Rapid7, а среди инвесторов — Джефф Дин из Google и Томас Вульф из Hugging Face. Обнаруженные уязвимости включают критическую ошибку переполнения буфера в парсинге CMS, которая могла привести к удаленному выполнению кода, а также ряд проблем в PKCS#12, QUIC и постквантовых алгоритмах. Для пяти CVE система AISLE предложила исправления, которые были приняты командой OpenSSL.