A Hardware Design Language for Efficient Control of Timing Channels
Yet another MicroArchitectural Attack:: exploiting I-Cache