Security analysis of NFC relay attacks using probabilistic model checking.

Nikolaos Alexiou, Stylianos Basagiannis, Sophia G. Petridou

Browse the full IWCMC paper archive.