MuFASA

A Tool for High-level Specification and Analysis of Multi-factor Authentication Protocols

Multi-Factor Authentication protocols are nowadays widely used to protect sensitive data. However, they highly differ in terms of features, provided security level and user experience.

MuFASA is a tool for high-level specification and analysis of MFA protocols, which aims at supporting normal users and security experts (in the design phase of an MFA protocol), providing a high level report regarding possible risks associated to the specified MFA protocol, its resistance to a set of attacker models (defined by NIST), its ease-of-use and its compliance with a set of security requirements derived from European laws.

The tool is available on request. If you are interested in trying the tool, please contact us via email. (contact information is available at the bottom of this webpage.)

Related Publications

  • Federico Sinigaglia, Roberto Carbone, Gabriele Costa, Silvio Ranise
    MuFASA: A Tool for High-level Specification and Analysis of Multi-factor Authentication Protocols
    In: Emerging Technologies for Authorization and Authentication (ETAA 2019) (DOI, complementary material, news)

Involved People

Sinigaglia Federico

Federico Sinigaglia

Carbone Roberto

Roberto Carbone

Website

Ranise Silvio

Silvio Ranise

Website