Secure Mobile Payment on NFC-Enabled Mobile Phones Formally Analysed Using CasperFDR.

Sarah Abughazalah, Konstantinos Markantonakis, Keith Mayes

Browse the full TrustCom paper archive.