eHT Explore

Start Over Keyword Programming Languages Access Level restricted_to_institution

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