@misc{cryptoeprint:2017:1060, author = {Raphael Bost and Pierre-Alain Fouque}, title = {Thwarting Leakage Abuse Attacks against Searchable Encryption -- A Formal Approach and Applications to Database Padding}, howpublished = {Cryptology ePrint Archive, Report 2017/1060}, year = {2017}, url = {https://eprint.iacr.org/2017/1060}, }