Ohad Shamir, Sivan Sabato, et al.
Theoretical Computer Science
The EMV Payment Tokenisation Specification diverges from existing schemes by giving tokens a uniform and interoperable format that enables them to be used during payments. When a contact chip card is used to pay at the Point Of Sale (POS) it generates a cryptogram or a cryptographic checksum providing evidence that certain keys stored in the chip were used. Many merchants allow card payments over the Internet. In some cases they store the payment information to automatically retrieve it during subsequent purchases. This facilitates the shopping process because payment information needs to be entered only once. Tokenisation consists of replacing sensitive pieces of information with less valuable representations. It has traditionally been used by some merchants to protect stored or transmitted card information.
Ohad Shamir, Sivan Sabato, et al.
Theoretical Computer Science
Yao Qi, Raja Das, et al.
ISSTA 2009
Khalid Abdulla, Andrew Wirth, et al.
ICIAfS 2014
Yun Mao, Hani Jamjoom, et al.
CoNEXT 2006