This repository contains the bachelor degree project Formal security analysis of authentication in an asynchronous communication model. Authors: Jacob Wahlgren & Sam Yousefzadegan Hedin