Back in Black: Towards Formal, Black Box Analysis of Sanitizers and Filters.

George Argyros, Ioannis Stais, Aggelos Kiayias, Angelos D. Keromytis

Browse the full SP paper archive.