Usage of Static Taint Analysis and Auto Rule Generation for Smart Contract Vulnerability Detection. - Ki Soo Son; Jin-Myeong Shin; SeonJin Hwang; Yoon-Ho Choi (ICTC, 2024)