Real-Time and Embedded Systems Lab

Gideon Mohr

Real-Time and Embedded Systems Lab
Universität des Saarlandes
eMail:
LinkedIn: https://linkedin.com/in/gideon-mohr
Building: E 1 3 Room: 404
Coordinates: N 49.257833° E 7.045144°

Short CV

Currently, I am a PhD candidate at Saarland University under the supervision of Jan Reineke. I am working at the Embedded Systems Lab focussing on hardware-software leakage contracts for microarchitectural security.

I obtained my Master's degree in Embedded Systems from Saarland University in 2025. During my master thesis, I worked on full-system simulation for cyber-physical systems with the Operating Systems Group at MPI-SWS.

During my studies, I worked as a student research assistant at the Real-Time and Embedded Systems Lab, where I developed a tool to synthesize hardware-software leakage contracts for RISC-V processors.

For more details, check out my website: gideonmohr.de

Teaching

Winter 2020/2021

Tutor: Programming 1

Summer 2021

Tutor: Programming 2
Tutor: System Architecture

Summer 2024

Assistant: System Architecture

Summer 2025

Assistant: System Architecture

Winter 2025/2026

Advisor: Security at the Hardware-Software Interface (Seminar)

Publications

• Conference and Workshop Papers •

Conference and Workshop Papers

Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors
Z. Wang, G. Mohr, K. Gleissenthall, J. Reineke, and M. Guarnieri
CCS, 2025
[bib]

@inproceedings{wang2025synthesis,
 title = {Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors},
 author = {Wang, Zilong and Mohr, Gideon and Gleissenthall, Klaus von and Reineke, Jan and Guarnieri, Marco},
 booktitle = {Proceedings of the 32nd ACM Conference on Computer and Communications Security},
 publisher = {ACM},
 series = {CCS 2025},
 year = {2025}
}

Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors
G. Mohr, M. Guarnieri, and J. Reineke
DATE, March 2024
[bib]

@inproceedings{Mohr24,
 title = {Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors},
 author = {Mohr, Gideon and Guarnieri, Marco and Reineke, Jan},
 booktitle = {Design, Automation and Test in Europe Conference and Exhibition (DATE), 2024},
 month = {Mar},
 organization = {IEEE},
 year = {2024}
}

Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts
Z. Wang, G. Mohr, K. Gleissenthall, J. Reineke, and M. Guarnieri
CCS, 2023
[bib]

@inproceedings{wang2023specification,
 title = {Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts},
 author = {Wang, Zilong and Mohr, Gideon and Gleissenthall, Klaus von and Reineke, Jan and Guarnieri, Marco},
 booktitle = {Proceedings of the 30th ACM Conference on Computer and Communications Security},
 publisher = {ACM},
 series = {CCS 2023},
 year = {2023}
}