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