Formal Security Analysis and Improvement of a Hash-Based NFC M-Coupon Protocol.

Abdullah Ali Alshehri, Steve A. Schneider

Browse the full CARDIS paper archive.