Breaking and Fixing the Security Proof of Garbled Bloom Filters.
Cédric Van RompayMelek ÖnenPublished in: DBSec (2018)
Keyphrases
- bloom filter
- data structure
- information security
- space efficient
- access control
- theorem prover
- computer security
- record linkage
- security requirements
- intrusion detection
- theorem proving
- security policies
- security issues
- network security
- key management
- reservoir sampling
- security protocols
- security systems
- security level
- signature file
- security analysis
- relational databases
- databases
- security mechanisms
- membership queries
- management system
- authentication protocol
- data mining
- database