Conference: NFC 2013

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.

Advertisements