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
2021
Note(s): side channel, microarchitecture, hardware, information flow
Papers: ferraiuolo:ccs:2018
CCS '21
Virtual Event, Republic of Korea
Association for Computing Machinery
New York, NY, USA
2021
Note(s): side channel, microarchitecture, hardware, information flow
Papers: ferraiuolo:ccs:2018