Formal Security Analysis and Improvement of a Hash-Based NFC M-Coupon Protocol. - Abdullah Ali Alshehri 001; Steve A. Schneider (CARDIS, 2013)

Formally defining NFC M-coupon requirements, with a case study. - Abdullah Ali Alshehri 001; Steve A. Schneider (ICITST, 2013)

A formal framework for security analysis of NFC mobile coupon protocols. - Abdullah Ali Alshehri 001; Steve A. Schneider (J. Comput. Secur., 2015)

NFC mobile coupon protocols : developing, formal security modelling and analysis, and addressing relay attack. - Abdullah Ali Alshehri 001 (2015)