A concept of automated vulnerability search in contactless communication applications. - Martin Henzl; Petr Hanácek; Peter Jurnecka; Matej Kacic (ICCST, 2012)

Malware injection in wireless networks. - Matej Kacic; Petr Hanácek; Martin Henzl; Peter Jurnecka (IDAACS, 2013)

Modeling of Contactless Smart Card Protocols and Automated Vulnerability Finding. - Martin Henzl; Petr Hanácek (ISBAST, 2013)

Preventing real-world relay attacks on contactless devices. - Martin Henzl; Petr Hanácek; Matej Kacic (ICCST, 2014)

Bezpečnost protokolů bezkontaktních čipových karet ; Security of Contactless Smart Card Protocols. - Martin Henzl (2016)