Distance-bounding protocols were introduced in 1993 as a countermeasure to relay attacks, in which an adversary fraudulently forwards the communication between a verifier and a distant prover. In the more than 40 different protocols that followed, assumptions were taken on the structure of distance-bounding protocols and their threat models. In this paper, we survey works disrupting these assumptions, and discuss the remaining challenges. CCS CONCEPTS • Security and privacy → Authentication; Security protocols; Formal security models; Cryptanalysis and other attacks; • Networks → Mobile and wireless security.