SY, F., RK, R., SWYS, S., & JAD, L. (2023). GRIFFIN: Enhancing the security of smart contracts. Trends in Computer Science and Information Technology, 8(3), 073–081. https://doi.org/10.17352/tcsit.000071