F. SY, R. RK, S. SWYS, and L. JAD, “GRIFFIN: Enhancing the security of smart contracts”, Trends Comput Sci Inf Technol, vol. 8, no. 3, pp. 073–081, Nov. 2023.