Formal Hardware/Software Models for Cache Locking Enabling Fast and Secure Code.

Jean-Loup Hatchikian-Houdot, Pierre Wilke, Frdric Besson, Guillaume Hiet

Browse the full ESORICS paper archive.