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]
@inproceedings{HenzlH13,
title = {Modeling of Contactless Smart Card Protocols and Automated Vulnerability Finding},
author = {M. Henzl and Petr Hanácek},
year = {2013},
url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6597681&sortType%3Dasc_p_Sequence%26filter%3DAND%28p_IS_Number%3A6597649%29},
researchr = {https://researchr.org/publication/HenzlH13},
cites = {0},
citedby = {0},
booktitle = {International Symposium on Biometrics and Security Technologies, ISBAST 2013, 2-5 July, 2013, Chengdu, Sichuan, China},
publisher = {IEEE},
}