Browsing by Author Alshehri, Ali
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 2013 | Formal security analysis of NFC M-coupon protocols using Casper/FDR | Alshehri, Ali; Briffa, Johann A.; Schneider, Steve; Wesemeyer, Stephan |