@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}
}