@phdthesis{31436a59305d4c7f875324b051c26c3a,
title = "Enhancing the Security of Centralised and Distributed Payments",
keywords = "Security, Payments, EMV, Europay Mastercard Visa, Tokenisation, Blockchain, Bitcoin, Distributed Ledger Technology, DLT, Contactless, Fair Exchange, anonymity, Cyber Security, Mobile payments, NFC, near field communication, Payment Attacks, Mechanical Formal Analysis , Formal Analysis, security protocols, Protocols, Protocol analysis, payment security, card payments, Philanthropy, sms payments, banking payments, Enhancing security, Online PIN Verification",
author = "Danushka Jayasinghe",
year = "2017",
language = "English",
school = "Royal Holloway, University of London",
}