1. Violation Detection, Extra Information Release and Secure Implementation for Differentially Private Mechanisms Open Access Author: Ding, Ding Title: Violation Detection, Extra Information Release and Secure Implementation for Differentially Private Mechanisms Graduate Program: Computer Science and Engineering (PHD) Keywords: differential privacycounterexample detectionprivacy mechanismfloating-point vulnerability File: Download PhD_Dissertation_Ding.pdf Committee Members: G. Tan, Major Field MemberAleksandra Slavkovic, Outside Unit & Field MemberDanfeng Zhang, Co-Chair & Dissertation AdvisorDaniel Kifer, Co-Chair & Dissertation AdvisorChitaranjan Das, Program Head/Chair