Title "On the Need for Provably Secure Distance Bounding".
Abstract "Distance-bounding is a practical solution to prevent relay attacks. Yet, security models are not well-established. We will briefly show recent techniques that expose serious distance-frauds, mafia-frauds, and/or terrorist-frauds on distance-bounding protocols that were proved/claimed to resist such attacks. We show, at a high-level, what sort of formal model/requirements would be needed in order to move towards secure distance-bounding."