Blackhat Talk 2015
Tamarin prover Protocol
Read Mastercard:
[usb] pm3 --> emv reader
[=] Application.......... Mastercard
[=] Label................ Mastercard
[=] Language............. en
[=] Track 1.............. XXXXXXXXXXXXXXXXX^ /^XXXXXXXXX000000000000000000000000
[=] Track 2.............. XXXXXXXXXXXXXXXXXXXXXXXX0200000000000F
[=] Currency Code........ US Dollar ( 840 )
[=] Effective date....... 2021-02-01
[=] Expiration date...... 2025-04-30
[=] PAN.................. 0000 0000 0000 0000
[=] PAN Sequence......... 2
[=] Track 2 equivalent... XXXXXXXXXXXXXXXXXXXXXXXX020000000F
[=]
:
[usb] pm3 --> emv scan 01
[=] Selected channel... CONTACTLESS (T=CL)
[=] GET UID, ATS
[+] UID: A7 27 41 0C 00 90 5E
[+] ATQA: 00 44
[+] SAK: 20 [1]
[+] ATS: [16] 10 78 80 70 02 00 31 C0 64 08 44 03 12 00 90 00
[=] PPSE
[=] |------------------+--------+-------------------------|
[=] | AID |Priority| Name |
[=] |------------------+--------+-------------------------|
[=] | A0000000041010 | 01 | MASTERCARD |
[=] |------------------+--------+-------------------------|
[=] Selecting AID: A0000000041010
[=] Init transaction parameters
[=] Calc PDOL
[=] PDOL data[2]: 83 00
[=] GPO
[=] Read records from AFL
[=] SFI[01] start:01 end:01 offline:00
[=] SFI[01] 1
[=] SFI[06] start:01 end:01 offline:01
[=] SFI[06] 1
[=] SFI[06] start:02 end:02 offline:00
[=] SFI[06] 2
[=] SFI[07] start:01 end:02 offline:00
[=] SFI[07] 1
[=] SFI[07] 2
[=] SFI[08] start:01 end:01 offline:00
[=] SFI[08] 1
[=] Input list for Offline Data Authentication added to TLV [140 bytes]
[=] Recovering certificates
[=] CA public key index 0x5
[=] Verifying CA PK for a0:00:00:00:04 IDX 05 1408 bits. ( ok )
[+] Issuer Public key recovered RID A0 00 00 00 04 IDX 05 CSN A0 00 00 00 04
[+] ICC Public key recovered RID A0 00 00 00 04 IDX 05 CSN A0 00 00 00 04