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
2. Communicating Privacy-Utility Trade-Offs of Differential Privacy Through Analogical Reasoning Open Access Author: Govere, Ephraim Title: Communicating Privacy-Utility Trade-Offs of Differential Privacy Through Analogical Reasoning Area of Honors: Cybersecurity Analytics & Operations Keywords: Differential PrivacyAnalogical ReasoningPrivacy-Utility Trade-OffsInformation PrivacyVisual Analogy File: Download Govere_ENTA_Schreyer_Honors_Thesis.pdf Thesis Supervisors: Aiping Xiong, Thesis SupervisorAnna Cinzia Squicciarini, Thesis Honors Advisor
