Send the following on WhatsApp
Continue to Chathttps://123dok.net/document/qvl15ery-automated-analysis-of-equivalence-properties-for-security-protocols-using-else-branches-extended-version.html
https://123dok.net/document/qvl15ery-automated-analysis-of-equivalence-properties-for-security-protocols-using-else-branches-extended-version.html