eHT Explore

Start Over Thesis Supervisor Danfeng Zhang Thesis Supervisor John Joseph Hannan

1. Exploring Timing Channels in Differentially Private Libraries

open_access

Open Access

Author:: Yang, Andrew
Title:: Exploring Timing Channels in Differentially Private Libraries
Area of Honors:: Computer Science
Keywords:: differential privacy
timing channels
cybersecurity
computer science
File:: Download Honors_Thesis_Final.pdf
Thesis Supervisors:: Danfeng Zhang, Thesis Supervisor
John Joseph Hannan, Thesis Honors Advisor

2. Formal verification of approximate differential privacy via the characteristic function

restricted_to_institution

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 Privacy
Formal Verification
Programming Languages
File:: Login to Download
Thesis Supervisors:: Danfeng Zhang, Thesis Supervisor
Danfeng Zhang, Thesis Honors Advisor
John Joseph Hannan, Faculty Reader