Top-k Query Processing on Encrypted Databases with Strong Security Guarantees