Seol an Taifead seo mar Ríomhphost: Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol