SoK: A Tale of Reduction, Security, and Correctness-Evaluating Program Debloating Paradigms and Their Compositions M Ali, M Muzammil, F Karim, A Naeem, R Haroon, M Haris, H Nadeem, ... European Symposium on Research in Computer Security, 229-249, 2023 | 8 | 2023 |