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: CSF (2022)
Keyphrases
- privacy preserving
- theorem prover
- private data
- flowshop
- personal information
- private information
- preserving privacy
- rfid systems
- security issues
- detect malicious
- privacy enhancing
- detecting malicious
- formal proofs
- malicious users
- legal issues
- privacy concerns
- data mining
- sensitive information
- information loss
- inference rules
- information systems