@MISC{GilbertRS-2005-manuscript,
    author        = {Gilbert, Henri and Robshaw, Matthew and Sibert, Herv{\'e}},
    title         = {{An Active Attack Against {HB}$^+$ -- A provably Secure Lightweight Authentication Protocol}},
    howpublished  = {Manuscript},
    year          = {2005},
    month         = {July},
    organization  = {France Telecom},
   bibsource     = {Information Security Group (GSI), UCL, Louvain-la-Neuve, Belgium},
}