Karel Koranda: Analýza kryptografických protokolů

Prezentace stručně představí problematiku analýzy kryptografických protokolů a techniky, které se v současnosti používají. Dále se příspěvek bude zaobírat vymezením cílů výzkumu analýzy kryptografických protokolů se zaměřením na oblast anonymizačních sítí. V závěru příspěvku bude představen plán činností na další rok a publikační aktivita.