CC-Hunter: Uncovering Covert Timing Channels on Shared Processor Hardware
Model-Based Covert Timing Channels: Automated Modeling and Evasion