SoK: A Tale of Reduction, Security, and Correctness - Evaluating Program Debloating Paradigms and Their Compositions. - Muaz Ali; Muhammad Muzammil; M. Faraz Karim; Ayesha Naeem; Rukhshan Haroon; Muhammad Haris; Huzaifah Nadeem; Waseem Sabir; Fahad Shaon; Fareed Zaffar; Vinod Yegneswaran; Ashish Gehani; et al. (ESORICS (4), 2023)