Covert channels in modern computer systems: the cases of mobile and cloud.