Tightly Secure Encryption Schemes against Related-Key Attacks. (7th August 2018)