Specification and Verification of Strong Timing Isolation of Hardware Enclaves.

Stella Lau, Thomas Bourgeat, Clment Pit-Claudel, Adam Chlipala

Browse the full CCS paper archive.