Implementation-of-randomized-mechanisms#72
Open
Arasyilmaz1 wants to merge 286 commits intoleanprover:mainfrom
Open
Implementation-of-randomized-mechanisms#72Arasyilmaz1 wants to merge 286 commits intoleanprover:mainfrom
Arasyilmaz1 wants to merge 286 commits intoleanprover:mainfrom
Conversation
Update DPProof.lean
Added personal project details and focus areas after RIPS 2025.
Removed reference to AccuracyProof.lean file, which no longer exists. This broken import was creating errors.
Robert Post-RIPS changes
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
5 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Hello collaborators of SampCert,
This branch includes the work done through the RIPS2025 Program at IPAM (Institute of Pure and Applied Mathematics). We extended the library with the implementation of Randomized Response, RAPPOR, and Shuffle Model, and proof for the DP guarantees of these mechanisms. You should have received an email from Pasin Manurangsi about the project including the report. We would be grateful if you consider merging our work to SampCert. Please let us know if we need to change anything to make it more compatible with the library.
Best Regards,
Credits
\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\
This work is done by
Renee Tetlow @tetlow01
Robert Shlyakhtenko @rshlyakh
Perryn Chang @perrynchang
Aras Yilmaz @Arasyilmaz1
With the academic advisor:
Ethan Ji @eji5
Under the supervision of Google Research Team:
Pasin Manurangsi @pasin3005
Pritish Kamath @pritishkamath
Alexander Knop @alexanderknop-google
Badih Ghazi
Ravi Kumar
Through the RIPS2025 Program at IPAM (Institute of Pure and Applied Mathematics).