Gravar-mail: Partitioning-based mechanisms under personalized differential privacy