Sören Tempel

18 papers A* 1A 2B 1C 4Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2026 — conf
MMCaps: Towards Fast and Secure IPC using MMU-Accelerated Memory Capabilities.
EuroSec
Niklas Golenstede, Sören Tempel, Lars Wrenger, Daniel Lohmann, Christian Dietrich
2025 A conf
Accurate and Extensible Symbolic Execution of Binary Code Based on Formal ISA Semantics.
DATE
Sören Tempel, Tobias Brandt, Christoph Lüth, Christian Dietrich, Rolf Drechsler
2024 J jnl
BinSym: Binary-Level Symbolic Execution using Formal Descriptions of Instruction Semantics.
CoRR
Sören Tempel, Tobias Brandt, Christoph Lüth, Rolf Drechsler
2023 C conf
Minimally Invasive Generation of RISC-V Instruction Set Simulators from Formal ISA Models.
FDL
Sören Tempel, Tobias Brandt, Christoph Lüth, Rolf Drechsler
2023 J jnl
Specification-Based Symbolic Execution for Stateful Network Protocol Implementations in IoT.
IEEE Internet Things J.
Sören Tempel, Vladimir Herdt, Rolf Drechsler
2023 — conf
Versatile and Flexible Modelling of the RISC-V Instruction Set Architecture.
TFP
Sören Tempel, Tobias Brandt, Christoph Lüth
2022 C conf
3D Visualization of Symbolic Execution Traces.
FDL
Jan Zielasko, Sören Tempel, Vladimir Herdt, Rolf Drechsler
2022 — conf
Automated Detection of Spatial Memory Safety Violations for Constrained Devices.
ASP-DAC
Sören Tempel, Vladimir Herdt, Rolf Drechsler
2022 B conf
SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification.
ATVA
Sören Tempel, Vladimir Herdt, Rolf Drechsler
2022 J jnl
SymEx-VP: An open source virtual prototype for OS-agnostic concolic testing of IoT firmware.
J. Syst. Archit.
Sören Tempel, Vladimir Herdt, Rolf Drechsler
2022 J jnl
Towards Quantification and Visualization of the Effects of Concretization During Concolic Testing.
IEEE Embed. Syst. Lett.
Sören Tempel, Vladimir Herdt, Rolf Drechsler
2021 J jnl
Adaptive simulation with Virtual Prototypes in an open-source RISC-V evaluation platform.
J. Syst. Archit.
Vladimir Herdt, Daniel Große, Sören Tempel, Rolf Drechsler
2021 A conf
An Effective Methodology for Integrating Concolic Testing with SystemC-based Virtual Prototypes.
DATE
Sören Tempel, Vladimir Herdt, Rolf Drechsler
2021 C conf
In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes.
FDL
Sören Tempel, Vladimir Herdt, Rolf Drechsler
2021 — conf
Mutation-based Compliance Testing for RISC-V.
ASP-DAC
Vladimir Herdt, Sören Tempel, Daniel Große, Rolf Drechsler
2021 A* conf
Towards Reliable Spatial Memory Safety for Embedded Software by Combining Checked C with Concolic Testing.
DAC
Sören Tempel, Vladimir Herdt, Rolf Drechsler
2020 C conf
Adaptive Simulation with Virtual Prototypes for RISC-V: Switching Between Fast and Accurate at Runtime.
ICCD
Vladimir Herdt, Daniel Große, Sören Tempel, Rolf Drechsler
2020 J jnl
RIOT-POLICE: An implementation of spatial memory safety for the RIOT operating system.
CoRR
Sören Tempel, Tristan Bruns