Formal Analysis of Mobile Multi-Factor Authentication with Single Sign-On Login

Giada Sciarretta, Roberto Carbone, Silvio Ranise, Luca ViganĂ² 0001. Formal Analysis of Mobile Multi-Factor Authentication with Single Sign-On Login. ACM Trans. Inf. Syst. Secur., 23(3), 2020. [doi]

Abstract

Abstract is missing.