Enhancing EMV Tokenisation with Dynamic Transaction Tokens
The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols