Криптография редко подводит из-за взломанного алгоритма. Она подводит в деталях вокруг него: повторившийся nonce, генератор случайных чисел, инициализированный временем, подпись, которая проверяется, но не привязана к контексту, ключ, который выведен правильно, а затем записан в журнал.
Такие ошибки не дают о себе знать. Система работает, тесты проходят, а закрытый ключ можно восстановить по уже опубликованным подписям. Мы проверяем схему на предмет её допущений, реализацию — на предмет того, выполняются ли они, и анализируем результат там, где математика позволяет вынести вердикт: подписи, случайные значения и шифртексты.
01Объём
Что мы проверяем
Проектирование протоколов: аутентификация, обмен ключами, установление сессии
Схемы подписи: генерация nonce в ECDSA и EdDSA, malleability, повторное использование
Генерация, вывод, хранение, ротация и уничтожение ключей
Кошельки и хранение активов: работа с seed, пути вывода, процессы подписания
Пороговые и многосторонние схемы, конфигурации мультиподписи
Интеграция с аппаратными модулями безопасности и сервисами управления ключами
Побочные каналы в программной реализации: время, поведение при ошибках, работа с памятью
02Подход
Как выполняется работа
01
Анализ схемы
Читаем спецификацию и формулируем свойства безопасности, которые схема заявляет, и допущения, от которых она зависит.
02
Анализ реализации
Код сравнивается со схемой. Смотрим, как используются библиотеки и где реализация отступает от требований схемы.
03
Анализ результатов
Подписи, nonce и случайные значения, которые выдаёт система, анализируются на смещение, повторы и структуру решёточными и статистическими методами.
04
Демонстрация атаки
Если недостаток эксплуатируем, мы демонстрируем это на тестовых ключах, созданных для этой цели. Ключи, защищающие реальные активы, никогда не становятся объектом демонстрации.
Мы используем известную библиотеку. Есть ли что проверять?
Да. Проблема редко в библиотеке. Ошибки находятся в том, как её вызывают, какие параметры ей передают и что происходит с ключами до и после вызова.
Вы будете работать с нашими рабочими ключами?
Нет. Мы работаем с тестовыми ключами и с публичными результатами, например подписями. Если анализ публичных данных покажет, что рабочий ключ под угрозой, вы узнаете об этом немедленно, а ключ восстанавливаться не будет.
Можно ли проверить протокол, который существует только на бумаге?
Да, и это самый дешёвый момент для проверки. Ошибка проектирования, найденная до реализации, стоит правки в документе.