@misc{cryptoeprint:2018:440,
    author = {Handan Kılınç and Serge Vaudenay},
    title = {Formal Analysis of Distance Bounding with Secure Hardware},
    howpublished = {Cryptology ePrint Archive, Report 2018/440},
    year = {2018},
    url = {https://eprint.iacr.org/2018/440},
}