Gideon Mohr

According to our database, Gideon Mohr authored at least 3 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors.

Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri

CoRR, September, 2025

2024

Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors.

Gideon Mohr, Marco Guarnieri, Jan Reineke

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

2023

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

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023