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: J. Comput. Secur. (2023)
Keyphrases
- privacy preserving
- personal information
- private information
- statistical databases
- privacy concerns
- privacy preserving data mining
- privacy preservation
- theorem prover
- privacy enhancing
- security issues
- privacy protection
- mathematical proofs
- database
- formal proofs
- malicious behavior
- preserving privacy
- cryptographic protocols
- data privacy
- information loss
- theorem proving
- special case