1. Ethereum: A secure decentralised generalised transaction ledger;G Wood;Ethereum project yellow paper,2014
2. Kevm: A complete formal semantics of the ethereum virtual machine;E Hildenbrandt;2018 IEEE 31st Computer Security Foundations Symposium (CSF),2018
3. Defining the ethereum virtual machine for interactive theorem provers;Y Hirai;Financial Cryptography and Data Security: FC 2017 International Workshops,2017
4. A review on consensus algorithm of blockchain;D Mingxiao;2017 IEEE international conference on systems, man, and cybernetics,2017
5. A blockchain-adaptive contractual approach for multi-contracting organizational entities;B Adjei-Arthur;Future Generation Computer Systems,2022