Ali Alshehri, Johann A. Briffa, Steve Schneider and Stephan Wesemeyer. Formal Security Analysis of NFC M-coupon Protocols using Casper/FDR. In 5th International Workshop on Near Field Communication, Zurich, Switzerland, Feb 5, 2013.
- Submission: [nfc2013-proceedings]
- Presentation slides: [nfc2013-presentation]
- Published: (original link)
- Copyright notice