Dear Alexander,
Thank you very much for sending in this model of Delta Chat's Setup Contact Protocol:
I have made a slight improvement to your proposed model that should decrease analysis time, please find it attached. By running a diff between your original model and my suggested modifications, the changes should become apparent.
The attached model completes analysis on my machine in about 3 minutes when running Verifpal 0.8.4. It seems to find some attacks, you might want to take a look.
Very happy to discuss more! Thank you for using Verifpal.
Nadim Kobeissi
Sent from office