@MISC{DurholzFKO-2011-eprint,
    author        = {Ulrich, Duerholz and Marc, Fischlin and Michael, Kasper and Cristina, Onete},
    title         = {A Formal Approach to Distance-Bounding RFID Protocols},
    howpublished  = {Cryptology ePrint Archive, Report 2011/321},
    year          = {2011},
    organization  = {IACR},
    bibsource     = {Information Security Group (GSI), UCL, Louvain-la-Neuve, Belgium},
    pdf = {http://eprint.iacr.org/2011/321.pdf},
    slides = {},
}