Solver-Aided Constant-Time Hardware Verification.

Klaus von Gleissenthall, Rami Gkhan Kici, Deian Stefan, Ranjit Jhala

Browse the full CCS paper archive.