On the Prevention of Cache-Based Side-Channel Attacks in a Cloud Environment