RT DW A1 Wintenberg, Andrew. T1 Privacy and Utility in Dynamic Systems: Verification and Enforcement