This tutorial is adapted from a getting started with Verifpal video by Symbolic Software. We will look at an example and a use case on Signal, a popular encrypted messaging service. The tutorial aims to introduce the basics of Verifpal and how it can be used to analyze cryptographic protocols. The example and signal folders have fully annotated code to get you started!
TBD // Incoming
For more information, consult the user manual