Detecting covert timing channels | Synapse