Towards fully automatic placement of security sanitizers and declassifiers.

Benjamin Livshits Stephen Chong

Published in: POPL (2013)

Keyphrases

fully automatic
semi automatic
fully automated
intrusion detection
mri data
access control
low contrast
information security
manual annotation
security policies
security requirements
parameter free
left ventricle
security issues
human operators