Provable secure dual-server public key encryption with keyword search | IEEE Conference Publication | IEEE Xplore