Blockchain and Smart Contracts to Secure Property Transactions in Smart Cities