Følg
Gideon Mohr
Gideon Mohr
Saarland University
Verifisert e-postadresse på uni-saarland.de
Tittel
Sitert av
Sitert av
År
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
252023
Synthesizing hardware-software leakage contracts for RISC-V open-source processors
G Mohr, M Guarnieri, J Reineke
2024 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-6, 2024
42024
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–2