Thwarting Leakage Abuse Attacks against Searchable Encryption - A Formal Approach and Applications to Database Padding
highly - scalable searchable symmetric encryption with support for boolean queries .