| Specification and verification of side-channel security for open-source processors via leakage contracts Z Wang, G Mohr, K von Gleissenthall, J Reineke, M Guarnieri Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023 | 22 | 2023 |