ReDefender: Detecting Reentrancy Vulnerabilities in Smart Contracts Automatically. - Li, Bixin; Pan, Zhenyu; Hu, Tianyuan (IEEE Transactions on Reliability, 2022)