Lightweight extension of an execution environment for safer function calls in Solidity/Ethereum Virtual Machine smart contracts | IEEE Conference Publication | IEEE Xplore