Nikolaos Alexiou, Stylianos Basagiannis, Sophia G. Petridou. Security analysis of NFC relay attacks using probabilistic model checking. In Mario Gerla, Khaled Ben Letaief, George C. Hadjichristofi, Christian Callegari, editors, International Wireless Communications and Mobile Computing Conference, IWCMC 2014, Nicosia, Cyprus, August 4-8, 2014. pages 524-529, IEEE, 2014. [doi]