1. Formal verification of smart contracts based on users and blockchain behavior models;Abdellatif,2018
2. Blockchain for smart communities: applications, challenges and opportunities;Aggarwal;J. Netw. Comput. Appl.,2019
3. SCPKI: a smart contract-based PKI and identity system;Al-Bassam,2017
4. Chainspace: A Sharded Smart Contracts Platform;Al-Bassam,2017
5. Blockchain-based electronic patient records for regulated circular healthcare jurisdictions;Alexaki,2018