multi-factor-authentication-proverif-examples

This repository contains the examples of the CSF18 paper: "C. Jacomme and S. Kremer. An extensive formal analysis of multi-factor authentication protocols. In CSF'18, pages 1-15. IEEE Computer Society Press, 2018"