Verifying Constant-Time Execution of Hardware

Rami Gokhan Kici. Verifying Constant-Time Execution of Hardware. PhD thesis, University of California, San Diego, USA, 2020. [doi]

Abstract

Abstract is missing.