IODINE: Verifying Constant-Time Execution of Hardware

Title{IODINE}: Verifying {Constant-Time} Execution of Hardware
Publication TypeConference Paper
Year of Publication2019
AuthorsGleissenthall Kv., Kıcı RGökhan, Stefan D, Jhala R
Conference Name28th USENIX Security Symposium (USENIX Security 19)
Date Published08/2019
PublisherUSENIX Association
Conference LocationSanta Clara, CA
ISBN Number978-1-939133-06-9
URLhttps://www.usenix.org/conference/usenixsecurity19/presentation/von-gleissenthall