@inproceedings{Jacomme_2018,
title={An Extensive Formal Analysis of Multi-factor Authentication Protocols},
url={http://dx.doi.org/10.1109/csf.2018.00008},
DOI={10.1109/csf.2018.00008},
booktitle={2018 IEEE 31st Computer Security Foundations Symposium (CSF)},
publisher={IEEE},
author={Jacomme,
Charlie and Kremer,
Steve},
year={2018},
month=jul }