Enforcing Control Flow Integrity on DeFi Smart Contracts

Z. Chen, SM. Beillahi, P. Barahimi, C. Minwalla, H. Du, A. Veneris, F. Long


Submitted to ACM International Conference on the Foundations of Software Engineering (FSE) 2025

Full details can be found on the research page.