AVISPA implementation of the two-factor authentication protocol for our corresponding WWW 2015 submission.