Safety Guards for Ethereum Smart Contracts. - Morteza Amirmohseni; Sadegh Dorri Nogoorani (ISC Int. J. Inf. Secur., 2024)