@article{weko_212854_1, author = "Yuichiro,Chinen and Naoto,Yanai and Jason,Paul Cruz and Shingo,Okamura", title = "RA: A Static Analysis Tool for Analyzing Re-Entrancy Attacks in Ethereum Smart Contracts ", journal = "情報処理学会論文誌", year = "2021", volume = "62", number = "9", month = "sep" }