Formal Verification of a V2X Privacy Preserving Scheme Using Proverif.
Simone BussaRiccardo SistoFulvio ValenzaPublished in: CSR (2023)
Keyphrases
- privacy preserving
- formal verification
- horizontally partitioned data
- model checking
- privacy preservation
- vertically partitioned data
- privacy preserving data mining
- private information
- preserving privacy
- multi party
- privacy preserving association rule mining
- sensitive data
- differential privacy
- privacy concerns
- private data
- sensitive information
- privacy guarantees
- privacy protection
- horizontally partitioned
- secure multiparty computation
- scalar product
- data publishing
- data perturbation
- homomorphic encryption
- partitioned data
- data privacy
- privacy sensitive
- record linkage
- privacy requirements
- privacy issues
- personal data
- naive bayesian classification
- knowledge discovery