A Hardware Design Language for Efficient Control of Timing Channels
Cache Games -- Bringing Access-Based Cache Attacks on AES to Practice