This code provides a modular analysis of the EKEP protocol from the
Asylo project, written in ProVerif.

It also provides a simple test framework for ProVerif code, a basic
style guide, and a document describing the features and results of the
analysis.