Public-Key Encryption with Tight Simulation-Based Selective-Opening Security. (16th August 2017)