Payment Security Expert: Analyzing Smart Cards and Contactless Payments with Cryptographic Techniques | IEEE Conference Publication | IEEE Xplore