Kryptografia II stopień

Ścieżki badawcze i literatura

Pogłębienia do wyboru. Możesz rozpocząć od odtworzenia jednej opublikowanej konstrukcji i jej testów. Kolejnym krokiem jest analiza modelu, nie od razu proponowanie nowego schematu.

• Wycieki i modele urządzeń: W8 → demonstratory Schnorra i Okamoto → porównanie dopuszczalnych ujawnień i chronionych operacji.
• Anonimowość i hierarchie: W11 → hierarchiczne podpisy pierścieniowe → różnica między poprawnością hierarchii, niepodrabialnością i anonimowością.
• AKE: W10 i dodatek C → SIGMA oraz NAXOS → tabela ekspozycji i kontrola symulatora.
• Dowody kompozycyjne: UC → jednorazowa komunikacja → DH i podmiana idealnego modułu → porównanie specyfikacji, symulatorów i modeli zaufania.
• Obliczenia na niezaufanych urządzeniach: W12–W14 → kurs chmurowy → prywatny wynik, weryfikacja obliczeń i jawny model zaufania.

Te kierunki mogą prowadzić do tematu pracy magisterskiej lub dalszych badań. Publikacje pozwalają wybrać konkretną pracę. Temat i zakres współpracy ustalamy indywidualnie.

Literatura

Literatura karty: Goldwasser i Bellare, Lecture Notes on Cryptography. Menezes, van Oorschot i Vanstone, Handbook of Applied Cryptography. Stinson, Cryptography: Theory and Practice. Goldreich, Foundations of Cryptography. Katz i Lindell, Introduction to Modern Cryptography.

Materiały autorów: Goldwasser–Bellare, HAC, Goldreich. Uzupełnienie: Boneh–Shoup i MIT.

HAC

Handbook of Applied Cryptography. Podręcznik kryptografii stosowanej.

Ścieżka dowodowa: Pointcheval–Stern, Bellare–Neven, Herranz–Sáez, SIGMA, IKE, NAXOS.

Implementacje: MCL WebAssembly, Web Cryptography API, HKDF, hash do krzywej. Diagramy są autorskimi objaśnieniami dydaktycznymi. Biblioteki zachowują własne licencje.

Pierwsza lektura publikacji: wypisz funkcjonalność, model, założenie, algorytmy i twierdzenie. Sprawdź jedno równanie. Odtwórz jedno zapytanie symulatora i krok ekstrakcji. Zapisz pozostałe pytania. To daje lepsze przygotowanie niż czytanie całego dowodu bez kontroli typów.