Extending EMV Tokenised Payments to Offline-Environments
The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols