Sundas Munir, Mirza Sanam Iqbal Baig, Mah Noor, Syeda Hina Murad. Statically Checking Missing Input Validations in Solidity Smart Contracts - A Case Study. In IEEE International Conference on Blockchain, Blockchain 2023, Danzhou, China, December 17-21, 2023. pages 47-54, IEEE, 2023. [doi]
Abstract is missing.