The Greed Trap: Uncovering Intrinsic Ethereum Honeypots Through Symbolic Execution. - Mahtab Norouzi; Mounir Elgharabawy; Kaiwen Zhang 001 (BCCA, 2023)