Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts
Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri[doi] [Google Scholar] [DBLP] [Citeseer] [url]
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023
ACM
Pages 2128-2142
2023
Note(s): leakage contracts
ACM
Pages 2128-2142
2023
Note(s): leakage contracts