Author:
Pise Rohini G.,Patil Sonali
Publisher
Springer Science and Business Media LLC
Reference36 articles.
1. Li, B., Pan, Z., Hu, T.: Redefender: detecting reentrancy vulnerabilities in smart contracts automatically. IEEE Trans. Reliab. 71(2), 984–999 (2022)
2. Hasan, Q.O.M.: Machine Learning Based Framework for Smart Contract Vulnerability Detection in Ethereum Blockchain, Doctoral dissertation, Rochester Institute of Technology (2023)
3. Dwivedi, S.K., Amin, R., Lazarus, J.D., Pandi, V.: Blockchain-based electronic medical records system with smart contract and consensus algorithm in cloud environment. Secur. Commun. Netw. 2022 (2022)
4. Pasdar, A., Lee, Y.C., Dong, Z.: Connect API with blockchain: a survey on blockchain oracle implementation. ACM Comput. Surv. 55(10), 1–39 (2023)
5. Wang, Y., Lahiri, S.K., Chen, S., Pan, R., Dillig, I., Born, C., Naseer, I., Ferles, K.: Formal verification of workflow policies for smart contracts in azure blockchain. In: Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers 11, pp. 87–106. Springer International Publishing (2020)