Towards a Formal Verification of a Multi-factor Authentication Protocol Using Automated Theorem Provers.

Eduardo dos Santos, Jean Everson Martina, Ricardo Felipe Custdio

Browse the full TrustCom paper archive.