В TrueCrypt обнаружены критические уязвимости

В TrueCrypt обнаружены критические уязвимости

Хотя аудит кода проекта TrueCrypt успешно завершился весной 2015 года, а криптографы-аудиторы отчитались, что уязвимостей и багов в коде нет, кое-что, оказывается, все-таки укрылось от их взглядов. Участник Google Project Zero Джеймс Форшоу (James Forshaw) обнаружил в популярном некогда криптографическом ПО сразу две критические уязвимости.

Напомню, что разработка TrueCrypt была прекращена в 2014 году, когда неизвестный автор программы сообщил, что у TrueCrypt имеются некие неразрешимые проблемы с безопасностью и его использование крайне не рекомендуется. Теперь проблем стало еще больше, пишет xakep.ru.

Форшоу обнаружил два бага (CVE-2015-7358, CVE-2015-7359), оба актуальны для систем семейства Windows. Оба позволяют осуществить эскалацию привилегий, в итоге получив в системе полные права администратора и доступ ко всем данным пользователя, включая зашифрованные.

Более детальных данных о проблеме Форшоу пока не раскрывает, давая возможность авторам форков выпустить патчи. К примеру, разработчики VeraCrypt уязвимости уже исправили, выпустив версию 1.15. 

Относительно закончившегося весной этого года аудита проекта, Форшоу высказался достаточно аккуратно. «Хотя найденные мой баги и не являются бэкдорами, очевидно их все-таки не заметили, во время проведения аудита», — пишет Форшоу в твиттере, намекая, что аудиторы искали в коде программы умышленно оставленные там бэкдоры, и могли не обратить внимания на ошибки.

Российские математики научили ИИ-модели общаться без слов

Российский стартап Mostik разработал способ объединять возможности разных ИИ-моделей без обмена текстовыми ответами. Вместо длинной переписки нейросети взаимодействуют через математические значения во внутренних представлениях.

Обычно ансамбль работает последовательно: одна модель генерирует ответ, а другая получает его на вход.

Это требует времени и вычислительных ресурсов. Метод Mostik позволяет передавать информацию между моделями на более глубоком уровне, помогая небольшой нейросети использовать возможности значительно более крупной.

Для демонстрации команда связала китайскую GLM-5.2 с 753 млрд параметров и компактную Qwen-3.5 на 4 млрд параметров, способную работать на мобильном устройстве.

По утверждению разработчиков, получившаяся система показала результат ровно посередине между исходными моделями, но обошлась в 20 раз дешевле запуска полной GLM.

Ещё одну систему Mostik вывел в лидеры сложного соревнования ARC-AGI 3, предназначенного для проверки способности ИИ решать новые задачи. Подробности команда пока скрывает, чтобы не раскрывать подход до завершения конкурса.

Гендиректор стартапа Саша Малышева считает, что будущее ИИ может принадлежать не одной гигантской модели, а коллективу специализированных нейросетей. Внутри компании этот подход сравнивают с угадыванием веса свиньи: усреднённая оценка группы людей иногда оказывается точнее ответа одного эксперта.

Если технология подтвердит эффективность на разных моделях и задачах, она может повысить ценность открытых нейросетей. Крупную модель получится объединить с небольшими экспертами по медицине, физике или биологии, не заставляя вычислительного монстра выполнять всю работу.

Пока опубликованных технических деталей и независимого воспроизведения результатов нет. Подробнее про проект пишет издание WIRED.

RSS: Новости на портале Anti-Malware.ru