@InProceedings{Ali2023ESORICS,
title = {A Tale of Reduction, Security and Correctness: Evaluating Program Debloating Paradigms and Their Compositions},
author = {Muaz Ali and Muhammad Muzammil and Faraz Karim and Ayesha Naeem and Rukhshan Haroon and Muhammad Haris and Huzaifa Nadeem and Waseem Sabir and Fahad Shaon and Fareed Zaffar and Vinod Yegneswaran and Ashish Gehani and Sazzadur Rahaman	},
booktitle="Computer Security -- ESORICS 2023",
year="2023",
publisher="Springer International Publishing",
abstract="Automated software debloating of program source or binary code has tremendous potential to improve both application performance and security. Unfortunately, measuring and comparing the effectiveness of various debloating methods is challenging due to the absence of a universal benchmarking platform that can accommodate diverse approaches. In this paper, first, we present ProdeBench, an extensible and sustainable benchmarking platform that enables comparison of different research techniques. Then, we perform a holistic comparison of the techniques and explore the various hidden and explicit tradeoffs in using them.",
}

{"_id":"GdtpsNnb52Xr5A4EP","bibbaseid":"ali-muzammil-karim-naeem-haroon-haris-nadeem-sabir-etal-ataleofreductionsecurityandcorrectnessevaluatingprogramdebloatingparadigmsandtheircompositions-2023","author_short":["Ali, M.","Muzammil, M.","Karim, F.","Naeem, A.","Haroon, R.","Haris, M.","Nadeem, H.","Sabir, W.","Shaon, F.","Zaffar, F.","Yegneswaran, V.","Gehani, A.","Rahaman, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"A Tale of Reduction, Security and Correctness: Evaluating Program Debloating Paradigms and Their Compositions","author":[{"firstnames":["Muaz"],"propositions":[],"lastnames":["Ali"],"suffixes":[]},{"firstnames":["Muhammad"],"propositions":[],"lastnames":["Muzammil"],"suffixes":[]},{"firstnames":["Faraz"],"propositions":[],"lastnames":["Karim"],"suffixes":[]},{"firstnames":["Ayesha"],"propositions":[],"lastnames":["Naeem"],"suffixes":[]},{"firstnames":["Rukhshan"],"propositions":[],"lastnames":["Haroon"],"suffixes":[]},{"firstnames":["Muhammad"],"propositions":[],"lastnames":["Haris"],"suffixes":[]},{"firstnames":["Huzaifa"],"propositions":[],"lastnames":["Nadeem"],"suffixes":[]},{"firstnames":["Waseem"],"propositions":[],"lastnames":["Sabir"],"suffixes":[]},{"firstnames":["Fahad"],"propositions":[],"lastnames":["Shaon"],"suffixes":[]},{"firstnames":["Fareed"],"propositions":[],"lastnames":["Zaffar"],"suffixes":[]},{"firstnames":["Vinod"],"propositions":[],"lastnames":["Yegneswaran"],"suffixes":[]},{"firstnames":["Ashish"],"propositions":[],"lastnames":["Gehani"],"suffixes":[]},{"firstnames":["Sazzadur"],"propositions":[],"lastnames":["Rahaman"],"suffixes":[]}],"booktitle":"Computer Security – ESORICS 2023","year":"2023","publisher":"Springer International Publishing","abstract":"Automated software debloating of program source or binary code has tremendous potential to improve both application performance and security. Unfortunately, measuring and comparing the effectiveness of various debloating methods is challenging due to the absence of a universal benchmarking platform that can accommodate diverse approaches. In this paper, first, we present ProdeBench, an extensible and sustainable benchmarking platform that enables comparison of different research techniques. Then, we perform a holistic comparison of the techniques and explore the various hidden and explicit tradeoffs in using them.","bibtex":"@InProceedings{Ali2023ESORICS,\ntitle = {A Tale of Reduction, Security and Correctness: Evaluating Program Debloating Paradigms and Their Compositions},\nauthor = {Muaz Ali and Muhammad Muzammil and Faraz Karim and Ayesha Naeem and Rukhshan Haroon and Muhammad Haris and Huzaifa Nadeem and Waseem Sabir and Fahad Shaon and Fareed Zaffar and Vinod Yegneswaran and Ashish Gehani and Sazzadur Rahaman\t},\nbooktitle=\"Computer Security -- ESORICS 2023\",\nyear=\"2023\",\npublisher=\"Springer International Publishing\",\nabstract=\"Automated software debloating of program source or binary code has tremendous potential to improve both application performance and security. Unfortunately, measuring and comparing the effectiveness of various debloating methods is challenging due to the absence of a universal benchmarking platform that can accommodate diverse approaches. In this paper, first, we present ProdeBench, an extensible and sustainable benchmarking platform that enables comparison of different research techniques. Then, we perform a holistic comparison of the techniques and explore the various hidden and explicit tradeoffs in using them.\",\n}\n\n","author_short":["Ali, M.","Muzammil, M.","Karim, F.","Naeem, A.","Haroon, R.","Haris, M.","Nadeem, H.","Sabir, W.","Shaon, F.","Zaffar, F.","Yegneswaran, V.","Gehani, A.","Rahaman, S."],"key":"Ali2023ESORICS","id":"Ali2023ESORICS","bibbaseid":"ali-muzammil-karim-naeem-haroon-haris-nadeem-sabir-etal-ataleofreductionsecurityandcorrectnessevaluatingprogramdebloatingparadigmsandtheircompositions-2023","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://achievements.cs.arizona.edu/publications.bib","dataSources":["kE6WAgjSpzcEZNpsa"],"keywords":[],"search_terms":["tale","reduction","security","correctness","evaluating","program","debloating","paradigms","compositions","ali","muzammil","karim","naeem","haroon","haris","nadeem","sabir","shaon","zaffar","yegneswaran","gehani","rahaman"],"title":"A Tale of Reduction, Security and Correctness: Evaluating Program Debloating Paradigms and Their Compositions","year":2023}