Yuichiro Chinen Naoto Yanai Jason Paul Cruz Shingo Okamura RA: A Static Analysis Tool for Analyzing Re-Entrancy Attacks in Ethereum Smart Contracts. 537-547 2021 29 J. Inf. Process. https://doi.org/10.2197/ipsjjip.29.537 db/journals/jip/jip29.html#ChinenYCO21