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

Federico Sinigaglia, Roberto Carbone, Gabriele Costa, Silvio Ranise

Browse the full ESORICS paper archive.