IODINE: Verifying Constant-Time Execution of Hardware

Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala. IODINE: Verifying Constant-Time Execution of Hardware. In Nadia Heninger, Patrick Traynor, editors, 28th USENIX Security Symposium, USENIX Security 2019, Santa Clara, CA, USA, August 14-16, 2019. pages 1411-1428, USENIX Association, 2019. [doi]

Abstract

Abstract is missing.