Kaibin Huang, Raylin Tso. Provable secure dual-server public key encryption with keyword search. In IEEE 2nd International Verification and Security Workshop, IVSW 2017, Thessaloniki, Greece, July 3-5, 2017. pages 39-44, IEEE, 2017. [doi]
Abstract is missing.