Sören van der Wall -

Registered user since Tue 2 Jun 2020

Name:Sören van der Wall

Country:Germany

Affiliation:TU Braunschweig

Personal website: https://www.tu-braunschweig.de/tcs/team/soeren-van-der-wall

Contributions

2026

SPLASH

Author of Decompiling for Constant-Time Analysis within the OOPSLA-track

PriSC

Author of Decompiling for Constant-Time Analysis within the PriSC-track

2025

PriSC

Author of SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations within the PriSC 2025-track

POPL

Author of SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations within the POPL-track

2022

APLAS

Author of Model-based Fault Classification for Automotive Software within the APLAS-track