Sören Tempel

I am a Computer Science researcher in the Group of Computer Architecture (AGRA) at the University of Bremen where I am currently pursuing a PhD degree. I received my MSc in Computer Science in June 2020. My research currently focuses on the verification of RISC-V embedded systems using symbolic execution techniques. More broadly, I am also interested in security aspects of devices used in the low-end Internet of Things.

Publications

For more information, refer to my ORCID iD.

  1. Sören Tempel, Vladimir Herdt, and Rolf Drechsler. Automated Detection of Spatial Memory Safety Violations for Constrained Devices. 2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC).
  2. 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. 2021 Forum for Specification and Design Languages (FDL). [PDF] [Artifacts]
  3. Vladimir Herdt, Daniel Große, Sören Tempel, and Rolf Drechsler. Adaptive simulation with Virtual Prototypes in an open-source RISC-V evaluation platform. Journal of Systems Architecture - Embedded Software Design (JSA). [DOI]
  4. Sören Tempel, Vladimir Herdt, and Rolf Drechsler. Towards Reliable Spatial Memory Safety for Embedded Software by Combining Checked C with Concolic Testing. 2021 58th ACM/IEEE Design Automation Conference (DAC). [PDF]
  5. Sören Tempel, Vladimir Herdt, and Rolf Drechsler. An Effective Methodology for Integrating Concolic Testing with SystemC-based Virtual Prototypes. 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE). [DOI] [PDF]
  6. Vladimir Herdt, Sören Tempel, Daniel Große, and Rolf Drechsler. Mutation-based Compliance Testing for RISC-V. 2021 26th Asia and South Pacific Design Automation Conference (ASP-DAC). [DOI] [PDF] [Presentation]
  7. Vladimir Herdt, Daniel Große, Sören Tempel, and Rolf Drechsler. Adaptive Simulation with Virtual Prototypes for RISC-V: Switching Between Fast and Accurate at Runtime. 2020 IEEE 38th International Conference on Computer Design (ICCD). [DOI] [PDF] [Presentation]

Teaching

Contact

You can reach me via mail: ${last name}@uni-bremen.de. If encryption is desired, use my PGP key.