This document has moved to https://static.siplab.org/papers/ral2020-privacy_vio.pdf