Publications
Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics. PDF #
Sören Tempel, Tobias Brandt, Christoph Lüth, Christian Dietrich, and Rolf Drechsler
Accurate Binary-Level Symbolic Execution of Embedded Firmware. DOI #
Sören Tempel
Minimally Invasive Generation of RISC-V Instruction Set Simulators from Formal ISA Models. PDF DOI #
Sören Tempel, Tobias Brandt, Christoph Lüth, and Rolf Drechsler
Versatile and Flexible Modelling of the RISC-V Instruction Set Architecture. PDF DOI #
Sören Tempel, Tobias Brandt, and Christoph Lüth
Specification-based Symbolic Execution for Stateful Network Protocol Implementations in the IoT. DOI #
Sören Tempel, Vladimir Herdt, and Rolf Drechsler
SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification. DOI PDF Artifacts #
Sören Tempel, Vladimir Herdt, and Rolf Drechsler
3D Visualization of Symbolic Execution Traces. DOI PDF #
Jan Zielasko, Sören Tempel, Vladimir Herdt, and Rolf Drechsler
Towards Quantification and Visualization of the Effects of Concretization during Concolic Testing. DOI #
Sören Tempel, Vladimir Herdt, and Rolf Drechsler
SymEx-VP: An open source virtual prototype for OS-agnostic concolic testing of IoT firmware. DOI Artifacts #
Sören Tempel, Vladimir Herdt, and Rolf Drechsler
Automated Detection of Spatial Memory Safety Violations for Constrained Devices. DOI PDF #
Sören Tempel, Vladimir Herdt, and Rolf Drechsler
In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes. DOI PDF Artifacts #
Sören Tempel, Vladimir Herdt, and Rolf Drechsler
Adaptive simulation with Virtual Prototypes in an open-source RISC-V evaluation platform. DOI #
Vladimir Herdt, Daniel Große, Sören Tempel, and Rolf Drechsler
Towards Reliable Spatial Memory Safety for Embedded Software by Combining Checked C with Concolic Testing. DOI PDF #
Sören Tempel, Vladimir Herdt, and Rolf Drechsler
An Effective Methodology for Integrating Concolic Testing with SystemC-based Virtual Prototypes. DOI PDF #
Sören Tempel, Vladimir Herdt, and Rolf Drechsler
Mutation-based Compliance Testing for RISC-V. DOI PDF #
Vladimir Herdt, Sören Tempel, Daniel Große, and Rolf Drechsler
Adaptive Simulation with Virtual Prototypes for RISC-V: Switching Between Fast and Accurate at Runtime. DOI PDF Presentation #
Vladimir Herdt, Daniel Große, Sören Tempel, and Rolf Drechsler
Teaching
Operating Systems. Teaching Assistant
Quality Oriented System Design. Tutor
IoT4u (Student Master Project). Supervisor
Quality Oriented System Design. Tutor
IoT4u (Student Bachelor Project). Supervisor
Practical Introduction in Modern System Design with C++. Tutor
Technical Computer Science 2. Student Tutor
Technical Computer Science 2. Student Tutor