M. Henzl, Petr Hanácek. Modeling of Contactless Smart Card Protocols and Automated Vulnerability Finding. In International Symposium on Biometrics and Security Technologies, ISBAST 2013, 2-5 July, 2013, Chengdu, Sichuan, China. IEEE, 2013. [doi]
Abstract is missing.