HAFID, M. et al. 2026. Graph Optimization and Programming through Interval Reduction: Case for Secure Control Flow Graph Analysis. Statistics, Optimization & Information Computing. 16, 1 (Jun. 2026), 749–776. DOI:https://doi.org/10.19139/soic-2310-5070-3253.