Specification and Verification of Strong Timing Isolation of Hardware Enclaves

Specification and Verification of Strong Timing Isolation of Hardware Enclaves

CCS ’24, October 14–18, 2024, Salt Lake City, UT, USA.

Bibliographic Details
Main Authors: Lau, Stella, Bourgeat, Thomas, Pit-Claudel, Cl?ment, Chlipala, Adam
Other Authors: Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Format: Article
Language:English
Published: ACM|Proceedings of the 2024 ACM SIGSAC Conference on Computer and Communications Security 2025
Online Access:https://hdl.handle.net/1721.1/158084

Similar Items

Similar Items