eHT Explore

Start Over Area of Honors Computer Science Year 2023 Author Last Name Patel

1. 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