kiedy? |
co? |
kto? |
slajdy |
| 10 II |
Automaty z czasem, UPPAAL |
Łukasz Osipiuk |
pdf ps |
| 17 II |
przykłady weryfikacji protokołów w narzędziu UPPAAL |
Paulina Kania |
pdf ps |
| 24 II |
Krótkie omówienie prac magisterskich (projekt Verics) |
Jakub Kowalski, Wiktor Miszuris |
ps |
| 2 III |
Krótkie omówienie prac magisterskich |
Marek Werulik, Robert Popławski |
| 9 III |
Krótkie omówienie prac magisterskich |
Artur Cichocki, Mateusz Stachlewski, Filip Łukasik |
| 16 III |
Wprowadzenie do protokołów kryptograficznych |
Mariusz Gądarowski |
| 23 III |
Podpis cyfrowy |
Artur Cichocki |
pdf |
| 30 III |
Zaawansowane protokoły kryptograficzne |
Wojciech Ruszczewski i |
ppt |
| 6 IV |
c.d. |
Robert Popławski |
| 20 IV |
Protokoły w brydżu |
Marcin Poturalski |
zip |
| 27 IV |
--- |
|
| 4 V |
Protokoły w brydżu (c.d.) |
Marcin Poturalski |
| 11 V |
formularze ITS, tematy prac mag. |
|
| 18 V |
Kompresja danych w standardzie V.42.bis |
Joanna Słowińska |
| 25 V |
Krótkie omówienie prac magisterskich |
Grzegorz Kaczor, Stanisław Findeisen |