Stefan Dziembowski laureatem programu Welcome - publiczna prezentacja projektu

Szanowni Państwo,

dr Stefan Dziembowski, zatrudniony od listopada 2010 roku w Instytucie Informatyki UW, został laureatem czwartej edycji programu Welcome Fundacji na Rzecz Nauki Polskiej.

W ramach programu Welcome, FNP wspiera projekty realizowane przez wybitnych uczonych z zagranicy tworzących zespoły badawcze w polskich jednostkach naukowych

Celem programu jest zaangażowanie wybitnych uczonych z zagranicy w tworzenie zespołów naukowych w Polsce i zintensyfikowanie współpracy międzynarodowej polskich jednostek naukowych.

Zapraszam pracowników i studentów Wydziału na publiczną prezentację projektu, podczas której dr Stefan Dziembowski opowie o swoich planach badawczych. W szczególności zaproszenie kieruję do wszystkich zainteresowanych współpracą z panem Dziembowskim i badaniami w tak ważnej i ciekawej dziedzinie jaką jest kryptografia. 

K. Diks

--------------------Streszczenie-----------------------------------------------------

Cryptographic Protocols Provably-Secure Against Physical Attacks (CPPSAPA)

Protokoły kryptograficzne dowodliwie bezpieczne względem ataków fizycznych

W trakcie referatu przedstawimy opis projektu badawczego CPPSAPA. Projekt ten dotyczy formalnej analizy bezpieczeństwa protokołów kryptograficznych, z uwzględnieniem ataków  fizycznych na urządzenie kryptograficzne.

Tradycyjnie bezpieczeństwo algorytmów kryptograficznych jest analizowane przy założeniu, że  urządzenie na którym algorytm jest wykonywany jest w pełni bezpieczne.  Jak się okazuje, w praktyce założenie to jest zbyt optymistyczne, gdyż  w rzeczywistości przeciwnik może często poznać częściową informację na temat tajnych danych używanych przez algorytm.  Dzieje się tak, dlatego, że fizyczne urządzenia wbrew woli użytkownika zwykle ujawniają pewne informacje o
tych danych.  Odbywa się to za pośrednictwem np. promieniowania elektromagnetycznego  emitowanego przez urządzenie, albo informacji o poborze mocy.  W skrajnych przypadkach ataki takie mogą doprowadzić do zupełnego złamania bezpieczeństwa systemu (mimo tego, że teoretycznie, bez uwzględnienia tego typu ataków jest on całkowicie bezpieczny). Sprawę pogarsza jeszcze fakt, że czasami przeciwnik może dokonać "aktywnego" ataku na polegającego na częściowej fizycznej modyfikacji urządzenia.

W ostatnich latach w kryptografii pojawił się nowy trend polegający na uzwględnieniu w formalnej analizie bezpieczeństwa również tego typu ataków oraz na tworzeniu protokołów odpornych na nie.  Celem projektu CPPSAPA jest wniesienie wkładu do tej nowej fascynującej dziedziny.