Gray-box monitoring of hyperproperties with an application to privacy.
Sandro StuckiCésar SánchezGerardo SchneiderBorzoo BonakdarpourPublished in: Formal Methods Syst. Des. (2021)
Keyphrases
- monitoring system
- real time
- privacy preserving
- databases
- personal information
- statistical databases
- private information
- sensitive information
- private data
- legal issues
- location privacy
- security risks
- privacy aware
- early warning
- personal data
- privacy preserving data mining
- sensitive data
- privacy concerns
- wireless sensor networks
- social media
- data mining
- data sets