Keyword: Formal Verification - Blacklight Search Results

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

Search