Towards fully automatic placement of security sanitizers and declassifiers.

Benjamin Livshits, Stephen Chong

Browse the full POPL paper archive.