SY, F.; RK, R.; SWYS, S.; JAD, L. GRIFFIN: Enhancing the Security of Smart Contracts. Trends Comput Sci Inf Technol 2023, 8, 073-081.