Solver-aided constant-time hardware verification

Klaus v. Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]

Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security
CCS '21
Virtual Event, Republic of Korea
Association for Computing Machinery
New York, NY, USA
Note(s): side channel, microarchitecture, hardware, information flow
Papers: ferraiuolo:ccs:2018