1. Androulaki, E., Barger, A., Bortnikov, V., Cachin, C., Christidis, K., De Caro, A., Enyeart, D., Ferris, C., Laventman, G., Manevich, Y., et al. (2018). Hyperledger fabric: A distributed operating system for permissioned blockchains. In Proceedings of the thirteenth EuroSys conference, Eurosys 18, Porto, Portugal (pp. 1–15). New York: ACM.
2. Atzei, N., Bartoletti, M., & Cimoli, T. (2016). A survey of attacks on ethereum smart contracts. In International conference on financial cryptography and data security, IACR.org, New York, NY, IACR Cryptology ePrint archive, p. 1007.
3. Beedham, M. (2018). The difference between permissioned and permissionless blockchains. https://thenextweb.com/hardfork/2018/11/05/permissioned-permissionless-blockchains. Accessed 28 Apr 2020.
4. Bhargavan, K., Delignat-Lavaud, A., Fournet, C., Gollamudi, A., Gonthier, G., Kobeissi, N., Kulatova, N., Rastogi, A., Sibut-Pinote, T., Swamy, N., et al. (2016). Formal verification of smart contracts: Short paper. In Proceedings of the 2016 ACM workshop on programming languages and analysis for security. ACM workshop (pp. 91–96). New York: ACM.
5. Biswas, K., & Muthukkumarasamy, V. (2016). Securing smart cities using blockchain technology. In 2016 IEEE 18th international conference on high performance computing and communications; IEEE 14th international conference on smart city; IEEE 2nd international conference on data science and systems (HPCC/SmartCity/DSS), IEEE, Sydney, pp. 1392–1393.