Marco Pernpruner, Roberto Carbone, Giada Sciarretta, Silvio Ranise. An Automated Multi-Layered Methodology to Assist the Secure and Risk-Aware Design of Multi-Factor Authentication Protocols. IEEE Trans. Dependable Sec. Comput., 21(4):1935-1950, July - August 2024. [doi]
Abstract is missing.