LOGIKA, TEORIA OBLICZEŃ I KRYPTOGRAFIA
Tematy w semestrze jesiennym 2003:
14-10 Joanna Czarnocka ,
Kryptograficzne
metody zapewniania anonimowosci
22-10 Pawel Wolff, Algorytmy rozwiazywania
gier parzystosci: implementacja
29-10 Michal Strojnowski, Kryptografia kwantowa
4-11 Maciej Mostowski, Skonczone
interpretacje arytmetyki
18-11 Piotr Gawel,
Praktyczny kryptosystem odporny na ataki adaptacyjnego przeciwnika
25-11 Lukasz Chmielewski,
Ataki na protokoly oparte na RSA
2-12 Filip Murlak,
Gry parzystosci na grafach o ograniczonej szerokosci drzewiastej
9-12 Piotr Wieczorek,
O (nie)mozliwosci sciemniania programow
16-12 Pawel Witkowski, TBA
6-01-2004 Michal Sokolowski,
Nierozroznialnosc systemow losowych
13-01-2004 Stanislaw Skonieczny,
Dowody interaktywne i zerowa wiedza