Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co.
Constantin Catalin DraganFrançois DupressoirEhsan EstajiKristian GjøsteenThomas HainesPeter Y. A. RyanPeter B. RønneMorten Rotvold SolbergPublished in: IACR Cryptol. ePrint Arch. (2022)
Keyphrases
- privacy preserving
- personal information
- statistical databases
- personal data
- privacy preservation
- legal issues
- theorem prover
- privacy concerns
- security concerns
- private data
- malicious attacks
- differential privacy
- detect malicious
- ethical issues
- security risks
- batch processing
- privacy issues
- neural network
- social networks