Artifact of the paper "Sound Verication of Security Protocols: From Design to Interoperable Implementations" - View it on GitHub