Login / Signup
Gideon Mohr
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 4
Top Topics
Open Source
Parallel Algorithm
Hw Sw
High Security
Top Venues
CoRR
CCS
DATE
</>
Publications
</>
Gideon Mohr
,
Marco Guarnieri
,
Jan Reineke
Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors.
CoRR
(2024)
Gideon Mohr
,
Marco Guarnieri
,
Jan Reineke
Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors.
DATE
(2024)
Zilong Wang
,
Gideon Mohr
,
Klaus von Gleissenthall
,
Jan Reineke
,
Marco Guarnieri
Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts.
CCS
(2023)
Zilong Wang
,
Gideon Mohr
,
Klaus von Gleissenthall
,
Jan Reineke
,
Marco Guarnieri
Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts.
CoRR
(2023)