Kryptografia rzadko zawodzi dlatego, że algorytm został złamany. Zawodzi w szczegółach wokół niego: nonce, który się powtarza, generator losowy inicjowany bieżącym czasem, podpis, który jest weryfikowany, ale nie jest powiązany ze swoim kontekstem, klucz wyprowadzony poprawnie, a potem zapisany w logu.
Takie błędy są ciche. System działa, testy przechodzą, a klucz prywatny da się odtworzyć z podpisów, które system już opublikował. Przeglądamy projekt pod kątem jego założeń, a implementację pod kątem tego, czy te założenia są spełnione, i testujemy wyniki tam, gdzie matematyka pozwala wydać werdykt: podpisy, wartości losowe i szyfrogramy.
01Zakres
Co testujemy
Projekt protokołu: uwierzytelnianie, wymiana kluczy, nawiązywanie sesji
Schematy podpisów: generowanie nonce w ECDSA i EdDSA, plastyczność, ponowne użycie
Generowanie, wyprowadzanie, przechowywanie, rotacja i niszczenie kluczy
Schematy progowe i wielostronne, konfiguracje multisig
Integracja ze sprzętowymi modułami bezpieczeństwa i usługami zarządzania kluczami
Kanały boczne w oprogramowaniu: czas wykonania, zachowanie przy błędach, obsługa pamięci
02Podejście
Jak przebiega praca
01
Przegląd projektu
Czytamy specyfikację i spisujemy właściwości bezpieczeństwa, które deklaruje projekt, oraz założenia, od których zależy.
02
Przegląd implementacji
Porównujemy kod z projektem. Sprawdzamy, jak używane są biblioteki i gdzie implementacja odchodzi od wymagań projektu.
03
Analiza wyników
Podpisy, nonce i wartości losowe generowane przez system analizujemy pod kątem obciążenia, powtórzeń i struktury, stosując metody kratowe i statystyczne.
04
Demonstracja ataku
Jeśli słabość da się wykorzystać, demonstrujemy to na kluczach testowych wygenerowanych w tym celu. Klucze chroniące prawdziwe aktywa nigdy nie są celem demonstracji.
Używamy znanej biblioteki. Czy jest tu coś do przejrzenia?
Tak. Biblioteka rzadko jest problemem. Błędy tkwią w sposobie jej wywołania, w przekazywanych jej parametrach i w tym, co dzieje się z kluczami przed wywołaniem i po nim.
Czy będziecie pracować na naszych kluczach produkcyjnych?
Nie. Pracujemy na kluczach testowych i publicznych wynikach, takich jak podpisy. Jeśli analiza danych publicznych pokaże, że klucz produkcyjny jest zagrożony, natychmiast Cię o tym informujemy i nie odtwarzamy klucza.
Czy możecie przejrzeć protokół, który istnieje tylko na papierze?
Tak, i to najtańszy moment, żeby to zrobić. Błąd projektowy znaleziony przed implementacją kosztuje tyle, co zmiana w dokumencie.