Federico Sinigaglia, Roberto Carbone, Gabriele Costa, Silvio Ranise. MuFASA: A Tool for High-level Specification and Analysis of Multi-factor Authentication Protocols. In Andrea Saracino, Paolo Mori, editors, Emerging Technologies for Authorization and Authentication - Second International Workshop, ETAA 2019, Luxembourg City, Luxembourg, September 27, 2019, Proceedings. Volume 11967 of Lecture Notes in Computer Science, pages 138-155, Springer, 2019. [doi]
Abstract is missing.