dr hab. inż. Konstanty Junosza-Szaniawski, prof. PW Referat prezentuje podstawowe własności protokołów kryptograficznych, narzędzia do formalnej weryfikacji weryfikacji tychże własności, kilka przykładów klasycznych protokołów oraz przykłady ataków na nie.
Miesiąc: Październik 2024
Rok akademicki 2024/25, semestr zimowy
W semestrze zimowym roku akademickiego 2024/25 prowadzę następujące przedmioty w języku polskim: Kreatywne rozwiązywanie problemów Podstawy przetwarzania danych Projekt interdyscyplinarny Projekt zespołowy Zaawansowane programowanie obiektowe i funkcyjne Metody Sztucznej Inteligencji Metody analizy danych: eksploracja danych i sztuczna inteligencja Dodatkowo prowadzę Seminarium Zakładu Strukturalnych Metod Przetwarzania Wiedzy. Materiały do zajęć można…