Verification of Privacy-Enhanced Collaborations.
Sara BellucciniRocco De NicolaMarlon DumasPille PullonenBarbara ReFrancesco TiezziPublished in: FormaliSE@ICSE (2020)
Keyphrases
- privacy preserving
- personal information
- data collection
- model checking
- statistical databases
- privacy protection
- privacy enhancing
- security issues
- information loss
- privacy concerns
- privacy preserving data mining
- private information
- face recognition
- genetic algorithm
- data privacy
- private data
- data publishing
- location privacy
- verification method
- privacy requirements
- preserving privacy
- security and privacy issues
- information systems