An Algorithm for Detecting Contention-Based Covert Timing Channels on Shared Hardware Conference Paper uri icon