Jak napisać pracę magisterską z kryptologii

Kryptologia to dziedzina, w której praca magisterska musi spełnić dwa warunki naraz: być matematycznie poprawna i pokazywać świadomość realnych zagrożeń. Komisja sprawdza, czy umiesz wyprowadzić zależność, ale też czy rozumiesz, dlaczego SHA-1 wycofano z TLS w 2016 roku i co to oznacza dla projektowanych dziś systemów.

Maj to okres, gdy magistranci kryptografii mają już zwykle gotową część implementacyjną, ataki czasowe, benchmarki algorytmu, eksperymenty z post-kwantowymi schematami. Trzeba to teraz ubrać w tekst, który komisja przyjmie bez setek pytań.

Z mojej praktyki, prace z kryptologii mają jeden charakterystyczny problem. Część matematyczna bywa świetnie wyprowadzona, część kodowa działa, ale rozdział o zastosowaniach i bezpieczeństwie jest tak ogólnikowy, że można go skopiować do dowolnej innej pracy. Komisja to wyczuwa od razu.

Pokażę Ci, jak rozłożyć pracę magisterską z kryptologii na siedem solidnych rozdziałów, gdzie skupić energię i na co uważać na każdym etapie.

Wybór tematu i pytania badawcze

Kryptologia daje dziś trzy duże obszary tematyczne: kryptografia symetryczna i asymetryczna w wersji klasycznej, kryptografia post-kwantowa oraz protokoły zaawansowane (zero-knowledge proofs, homomorphic encryption, threshold cryptography). Każdy z nich ma swoje publikacje, benchmarki i otwarte problemy.

Tematy, które najczęściej sprawdzają się w pracach magisterskich z kryptologii:

• Analiza wydajnościowa algorytmów blokowych, porównanie AES, Camellia, ChaCha20 w trybach GCM i CCM na różnych platformach (x86 z AES-NI, ARM, mikrokontroler bez akceleracji sprzętowej)
• Implementacja i analiza schematów post-kwantowych, Kyber, Dilithium, Falcon, SPHINCS+ z standardu NIST PQC; porównanie z RSA i ECDSA pod kątem rozmiaru kluczy i czasu operacji
• Krzywe eliptyczne (ECC), implementacja Curve25519, secp256k1, secp384r1; porównanie kosztu operacji punktowych, ataki typu side-channel
• Funkcje skrótu i MAC, analiza SHA-3, BLAKE2, BLAKE3, HMAC vs KMAC; odporność na ataki kolizji i preimage
• Zero-knowledge proofs, implementacja zk-SNARK lub zk-STARK; zastosowania w blockchainie i prywatności
• Ataki kryptoanaliczne, atak czasowy na implementację RSA bez stałoczasowej redukcji, atak na słabe RNG, analiza power side-channel na AES

Pytanie badawcze musi być wymierne i ograniczone. Nie: „Czy kryptografia post-kwantowa jest gotowa do wdrożenia?”, ale: „Jaki jest narzut wydajnościowy zastąpienia ECDHE-RSA przez Kyber-768 + Dilithium3 w handshake TLS 1.3 na serwerze nginx z połączeniami HTTPS rzędu 1000 RPS?”.

Jedno pytanie główne. Dwie-trzy hipotezy szczegółowe. Komisji w pracy magisterskiej wystarczy.

Metodologia pracy magisterskiej z kryptologii

Metodologia w kryptologii to dwie warstwy: matematyczna (poprawność, dowody bezpieczeństwa, twierdzenia) i implementacyjna (kod, środowisko testowe, pomiary). Komisja sprawdzi obie.

Środowisko testowe
Podajesz CPU (model, taktowanie, liczba rdzeni, czy AES-NI jest aktywne), RAM, system operacyjny (dystrybucja Linux z wersją kernela), kompilator (GCC z flagami -O2, -O3, -march=native), biblioteki kryptograficzne (OpenSSL 3.x, libsodium, BoringSSL, liboqs dla post-quantum). Bez tych danych benchmark nie ma wartości.

Pomiary wydajnościowe
Liczba powtórzeń (minimum 1000-10000 iteracji), pomiar czasu (clock_gettime z CLOCK_MONOTONIC_RAW, RDTSC dla cykli CPU), statystyki (mediana zamiast średniej, odporna na outliers, percentyle 95 i 99, odchylenie standardowe). Odrzucanie pierwszych iteracji (cache warm-up). Wyłączenie skalowania częstotliwości CPU (cpupower frequency-set -g performance) przed pomiarami.

Implementacja algorytmu
Jeśli implementujesz algorytm sam (do celów dydaktycznych lub analizy), wprost piszesz, że to implementacja referencyjna i nie powinna być używana produkcyjnie, komisja to docenia. Porównujesz wydajność z biblioteką produkcyjną (OpenSSL). Dla algorytmów post-kwantowych korzystaj z liboqs lub bibliotek referencyjnych NIST.

Analiza ataków side-channel
Pomiary czasu wykonania w zależności od danych wejściowych (czy implementacja jest stałoczasowa), pomiary zużycia mocy (jeśli masz dostęp do oscyloskopu i sondy lub używasz symulatora, ChipWhisperer to standard dydaktyczny), analiza wzorców dostępu do pamięci podręcznej (Flush+Reload, Prime+Probe).

Analiza bezpieczeństwa
Jeśli proponujesz nowy schemat lub modyfikację istniejącego, musisz pokazać dowód bezpieczeństwa lub redukcję do problemu uznanego za trudny (faktoryzacja, dyskretny logarytm, LWE, SIS). Bez dowodu komisja słusznie pyta: „Skąd wiesz, że to bezpieczne?”.

Dane statystyczne dla RNG
Jeśli pracujesz z generatorami liczb pseudolosowych, używasz baterii testów NIST SP 800-22, Dieharder, TestU01 (BigCrush dla naprawdę porządnej analizy). Podajesz wyniki: ile testów przeszło, ile failed, z wartością p i progiem.

Walidacja implementacji
Każda implementacja musi być zweryfikowana wektorami testowymi, dla AES, SHA, ECDSA są to oficjalne KAT (Known Answer Tests) z dokumentów NIST FIPS i NIST CAVP. Dla algorytmów post-kwantowych, KAT z pakietu referencyjnego NIST PQC. Bez przejścia KAT nie ma sensu publikować benchmarków, bo benchmarki mierzą wtedy złą implementację.

Modelowanie zagrożeń
Dla prac systemowych (np. analiza protokołu, projekt schematu) opisujesz model przeciwnika: czy zakłada się przeciwnika pasywnego (eavesdropper), aktywnego (man-in-the-middle), z dostępem do oracle deszyfrowania (CCA), z możliwością wymuszenia błędu obliczeniowego (fault attack). Standard akademicki to model IND-CCA2 dla schematów szyfrowania asymetrycznego, EUF-CMA dla schematów podpisu.

Zarządzanie kluczami
Jeśli praca dotyczy systemu używającego kryptografii w praktyce (TLS, IPsec, podpis elektroniczny, blockchain), opisujesz cykl życia kluczy: generowanie (źródło entropii, długość klucza, walidacja parametrów dla ECC i RSA), dystrybucja (PKI, CA, ścieżka certyfikacji X.509, OCSP/CRL), przechowywanie (HSM, TPM, software keystore, smartcard), rotacja (interwał, mechanizm), wycofanie (revocation, archiwizacja kluczy dawnych dla deszyfrowania starych danych). Standard zarządzania kluczami to NIST SP 800-57 (Recommendation for Key Management).

Analiza protokołów formalnych
Dla prac o protokołach kryptograficznych (TLS, Signal Protocol, Noise Framework, Kerberos) coraz częściej oczekuje się weryfikacji formalnej. Narzędzia: ProVerif, Tamarin Prover, CryptoVerif. Modelujesz protokół w odpowiedniej notacji, definiujesz właściwości bezpieczeństwa (secrecy, authentication, forward secrecy) i pokazujesz wynik analizy (proof of property lub kontrprzykład, sekwencja komunikatów łamiących właściwość).

Struktura i rozdziały

Praca magisterska z kryptologii liczy zwykle 70-100 stron. Sprawdzona struktura:

1. Wstęp, kontekst kryptografii w omawianej dziedzinie, motywacja (np. zagrożenie kwantowe, potrzeba prywatności w blockchainie, wymóg compliance, RODO, eIDAS, NIST SP 800-131A). Cel pracy w jednym zdaniu na końcu wstępu.

2. Podstawy teoretyczne, przegląd matematyki potrzebnej w pracy: algebra modularna, ciała skończone, krzywe eliptyczne, kraty (dla LWE/NTRU), funkcje haszujące, problem dyskretnego logarytmu. Nie kopiujesz całego podręcznika, wybierasz to, czego używasz w dalszych rozdziałach.

3. Stan wiedzy, przegląd dotychczasowych prac (literatura). Standardy NIST, eIDAS, BSI, ENISA. Porównanie algorytmów. Wskazujesz lukę, którą Twoja praca uzupełnia.

4. Projekt / metodologia, opis środowiska testowego, schematów implementacji, scenariuszy testowych, modeli zagrożeń. Diagramy protokołów (najlepiej w PlantUML lub TikZ).

5. Implementacja i wyniki, opis kluczowych fragmentów kodu (nie całość, kod w załączniku lub repo Git), wyniki pomiarów w tabelach i wykresach, walidacja KAT.

6. Analiza i dyskusja, interpretacja wyników, porównanie z literaturą, dyskusja ograniczeń (środowisko jednomaszynowe, brak hardware HSM, prosty model zagrożeń), kierunki dalszych prac.

7. Wnioski, 5-8 punktów odpowiadających na pytania badawcze.

8. Bibliografia, minimum 40-60 pozycji. Standard cytowania: artykuły z IACR ePrint, USENIX Security, IEEE S&P, CRYPTO, EUROCRYPT, ACM CCS. Dokumenty NIST (FIPS 197 dla AES, FIPS 186-5 dla DSA/ECDSA, FIPS 203 dla ML-KEM, FIPS 204 dla ML-DSA).

Załączniki, listingi kodu kluczowe dla zrozumienia, wektory testowe, surowe dane z pomiarów, link do repozytorium Git ze pełnym kodem.

Najczęstsze błędy

• Implementacja „demo” zamiast prawdziwego benchmarku, pisanie własnego AES w Pythonie i porównywanie go z OpenSSL to nieporozumienie. Implementujesz w referencyjnym celu, ale benchmarki robisz na produkcyjnych bibliotekach
• Pomiary bez stabilizacji środowiska, turbo boost CPU, hyperthreading, frequency scaling generują wariancję rzędu 30%. Wyłącz lub udokumentuj
• Brak walidacji KAT, bez przejścia oficjalnych wektorów testowych Twoja implementacja może być algorytmicznie błędna. Komisja słusznie nie zaakceptuje wyników
• Mylenie poufności z integralnością, szyfrujesz AES-CBC bez MAC, twierdzisz, że dane są bezpieczne. CBC zapewnia poufność, nie integralność. Standardem jest AES-GCM lub AES-CCM (AEAD).
• Niewłaściwy RNG, używasz rand() z C lub Math.random() w JavaScript do generowania kluczy. To natychmiastowy red flag dla komisji. Standard to /dev/urandom, getrandom(), CSPRNG z biblioteki kryptograficznej
• Słaby model zagrożeń, „atakujący nie zna klucza” to nie jest model zagrożenia. Model zagrożenia opisuje, co atakujący może obserwować, modyfikować i czego nie może
• Mieszanie rozmiarów kluczy z poziomem bezpieczeństwa, AES-256 nie daje 256 bitów bezpieczeństwa we wszystkich scenariuszach (np. multi-target attack). RSA-2048 to ~112 bitów bezpieczeństwa, nie 2048. To podstawa, na której często łapie się studentów
• Cytowanie blogów zamiast publikacji, Stack Overflow i blog Cloudflare są pomocne, ale nie są źródłem naukowym. Cytuj IACR ePrint, NIST, RFC
• Brak rozważenia post-kwantowości, w 2026 roku praca o kryptografii asymetrycznej bez wzmianki o standardach NIST PQC i migracji to brak świadomości aktualnego stanu dziedziny
• Diagramy protokołów bez kierunków komunikatów, diagram, na którym nie widać, kto wysyła co i w jakiej kolejności, nie jest opisem protokołu. Standard to message sequence chart z czasem na osi pionowej

FAQ

Podsumowanie

Praca magisterska z kryptologii musi mieć fundamenty matematyczne i pokazywać świadomość praktyki. Nie wystarczy zaimplementować algorytm. Trzeba zrozumieć, dlaczego konkretne parametry zostały wybrane, jakie ataki są aktualne i jak Twoje wyniki sytuują się względem standardów branżowych.

Jeśli kończysz pracę i chcesz mieć pewność, że terminologia, dowody i notacja matematyczna trzymają poziom, zapraszam na dobrzenapisane.pl. Korektuję prace z kryptologii i informatyki regularnie, pilnuję spójności notacji, poprawności wzorów, opisów diagramów, cytowań standardów. Napisz, odpiszę w ciągu 24 godzin.

Dowiedz się więcej

• Stallings, W. (2020). Cryptography and Network Security: Principles and Practice. Pearson. (standard akademicki dla wstępu do kryptografii)
• Schneier, B. (2015). Applied Cryptography: Protocols, Algorithms, and Source Code in C. Wiley
• Katz, J., Lindell, Y. (2020). Introduction to Modern Cryptography. CRC Press. (dla rygorystycznych dowodów bezpieczeństwa)
• NIST Post-Quantum Cryptography Standardization: https://csrc.nist.gov/projects/post-quantum-cryptography
• IACR Cryptology ePrint Archive: https://eprint.iacr.org

Inne artykuły na blogu:
– Jak znaleźć literaturę do pracy dyplomowej
– Metodologia pracy magisterskiej, od czego zacząć
– Korekta pracy magisterskiej, co obejmuje i ile kosztuje

Natalia Witek-Dąbrowska

Redaktorka i korektorka z 20-letnim doświadczeniem

Specjalizuję się w korekcie prac naukowych i dyplomowych. Jeśli potrzebujesz pomocy z tekstem, napisz do mnie.