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

Internet

https://hdl.handle.net/1721.1/158084