1. Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: a Survey;Praitheeshan,2019
2. Smart contracts: security patterns in the ethereum ecosystem and solidity;Wohrer,2018
3. Design of the blockchain smart contract: a use case for real estate;Karamitsos;J. Inf. Secur.,2018
4. Formal analysis of smart contracts: model impact factor on criminality;Ndiaye,2021