Martin Henzl: Bezpečnostní protokoly bezdrátových sítí

Prezentace bude zaměřena na problematiku bezpečnosti protokolů bezkontaktních čipových karet. Budou prezentovány navržené metody určené pro zabránění některým typům útoků na čipové karty, včetně dosažených výsledků. Hlavní část bude věnována současnému stavu práce na automatizovaném hledání zranitelných míst v protokolech.