ReDetect: Reentrancy Vulnerability Detection in Smart Contracts with High Accuracy | IEEE Conference Publication | IEEE Xplore