@article{Jacomme_2021,
title={An Extensive Formal Analysis of Multi-factor Authentication Protocols},
volume={24},
ISSN={2471-2574},
url={http://dx.doi.org/10.1145/3440712},
DOI={10.1145/3440712},
number={2},
journal={ACM Transactions on Privacy and Security},
publisher={Association for Computing Machinery (ACM)},
author={Jacomme,
Charlie and Kremer,
Steve},
year={2021},
month=jan,
pages={1–34} }