Secure Smart Contract with Control Flow Integrity. - Zhiyang Chen; Sidi Mohamed Beillahi; Pasha Barahimi; Cyrus Minwalla; Han Du; Andreas G. Veneris; Fan Long (CoRR, 2025)