1. Formal verification of approximate differential privacy via the characteristic function Restricted (Penn State Only) Author: Patel, Aaryan Title: Formal verification of approximate differential privacy via the characteristic function Area of Honors: Computer Science Keywords: Differential PrivacyFormal VerificationProgramming Languages File: Login to Download Thesis Supervisors: Danfeng Zhang, Thesis SupervisorDanfeng Zhang, Thesis Honors AdvisorJohn Joseph Hannan, Faculty Reader