Publications

2025
1. Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors
  Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri
  ACM SIGSAC Conference on Computer and Communications Security (CCS) 2025
  LeaSyn allows to automatically synthesize verified leakage contracts by combining a synthesis workflow that yields a precise yet possibly unsound contract with an iterative verification process.
  Abstract
  DOI
  Full Paper
  Code
3. Modular Full-System Simulation for Cyber-Physical Systems
  Gideon Mohr
  Extending the SimBricks simulator framework to support the Gazebo physics simulator. This simulation is then used to spoof sensors and actuators of CPS allowing to simulate unmodified firmware.
  Abstract
  Full Paper
  Slides
2024
1. Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors
  Gideon Mohr, Marco Guarnieri, Jan Reineke
  Design, Automation & Test in Europe Conference (DATE) 2024
  A semi-automatic methodology for synthesizing hardware-software leakage contracts for open-source microarchitectures.
  Abstract
  DOI
  Full Paper
  Slides
  Poster
  Video
  Code
2023
1. 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
  ACM SIGSAC Conference on Computer and Communications Security (CCS) 2023
  Distinguished Paper Award (CCS 2023)
  Introducing LeaVe, the first tool for verifying register-transfer-level (RTL) processor designs against ISA-level leakage contracts.
  Abstract
  DOI
  Full Paper
  Code
3. Automatic Inference of Hardware-Software Contracts for Open-Source Processors
  Gideon Mohr
  FdSI-Bachelor-Preis
  An approach to automatically infer hardware-software contracts for open-source processors.
  Abstract
  Full Paper
  Slides
  Code