Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods
On the security of public key protocols