1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.SE2024★ 1 cited
Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
Sören Tempel, Tobias Brandt, Christoph Lüth +2
Symbolic execution is an SMT-based software verification and testing technique. Symbolic execution requires tracking performed computations during software simulation to reason abo…
cs.PL2020★ 1 cited
RIOT-POLICE: An implementation of spatial memory safety for the RIOT operating system
Sören Tempel, Nora Bruns
We present an integration of a safe C dialect, Checked C, for the Internet of Things operating system RIOT. We utilize this integration to convert parts of the RIOT network stack t…