Iodine: Verifying constant-time execution of hardware [pdf]usenix.org40 pointsgodelmachine6 years ago