COBRA: Interaction-Aware Bytecode-Level Vulnerability Detector for Smart Contracts. - Li, Wenkai; Li, Xiaoqi; Li, Zongwei; Zhang, Yuqing (2024)