The SmartLogic Tool: Analysing and Testing Smart Card Protocols
the smart card detective : a hand - held emv interceptor .