Gravar-mail: Efficient privacy-preserving string search and an application in genomics