Formal Verification of the Disco protocol using Tamarin - View it on GitHub