@inproceedings{redini19_bintrimmer, title = {{BinTrimmer: Towards Static Binary Debloating Through Abstract Interpretation}}, author = {Redini, Nilo and Wang, Ruoyu and Machiry, Aravind and Shoshitaishvili, Yan and Vigna, Giovanni and Kruegel, Christopher}, booktitle = {Proceedings of the International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment (DIMVA)}, series = {Lecture Notes in Computer Science}, month = {June}, year = {2019}, address = {Gothenburg, Sweden}, publisher = {Springer Verlag} }