Back in Black: Towards Formal, Black Box Analysis of Sanitizers and Filters | IEEE Conference Publication | IEEE Xplore