1. Formal verification of approximate differential privacy via the characteristic function
Restricted (Penn State Only)
Search Results
Search
Search Constraints
Start Over You searched for: Area of Honors Computer Science Remove constraint Area of Honors: Computer Science Keyword Formal Verification Remove constraint Keyword: Formal Verification Keyword Programming Languages Remove constraint Keyword: Programming Languages Author Last Name Patel Remove constraint Author Last Name: Patel