Prof. Dr. Sebastian Steinhorst
Academic Career and Research Areas
The research of Prof. Steinhorst centers around design methodology and the hardware/software co-design of distributed embedded systems for use in Internet of Things, automotive and smart energy applications. Key aspects are the decentralization of the system architecture, modelling, verification, efficiency, dependability and security of such systems, taking all abstraction levels into consideration.
Prof. Steinhorst studied computer science at Goethe University Frankfurt, Germany. He received his PhD from the same university in 2011. From 2011 to 2016 he worked at the TUM CREATE research center in Singapore where he was leading the Embedded Systems Group as principal investigator (since 2015) and previously held senior research fellow and research fellow positions. From May till September 2016 he was an assistant professor in the Department of Engineering at Aarhus University, Denmark. Sebastian Steinhorst has been a Rudolf Moessbauer tenure track assistant professor at TUM since November 2016 and got promoted to associate professor with tenure in January 2020.
Key Publications (all publications)
Regnath e, Steinhorst S: "LeapChain: Efficient Blockchain Verification for Embedded IoT". In: Proceedings of the 2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD 2018). USA, pp. 74:1–74:8. 2018.Abstract
Mundhenk P, Paverd A, Mrowca A, Steinhorst S, Lukasiewycz M, Fahmy SA, Chakraborty S: "Security in Automotive Networks: Lightweight Authentication and Authorization". In: ACM Transactions on Design Automation of Electronic Systems (TODAES), 22(2), pp. 25:1–25:27. 2017.Abstract
Steinhorst S, Kauer M, Meeuw A, Narayanaswamy S, Lukasiewycz M, Chakraborty S: "Cyber-Physical Co-Simulation Framework for Smart Cells in Scalable Battery Packs". ACM Transactions on Design Automation of Electronic Systems (TODAES). 2016; 21(4): 62: 1-62.Abstract
Mundhenk P, Steinhorst S, Lukasiewycz M, Fahmy SA, Chakraborty S: "Security Analysis of Automotive Architectures using Probabilistic Model Checking". Proceedings of the 52nd Design Automation Conference (DAC 2015). USA. 11.07.2015.Abstract
Steinhorst S, Lukasiewycz M, Narayanaswamy S, Kauer M, Chakraborty S: "Smart Cells for Embedded Battery Management". Proceedings of the 2nd International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA 2014). Hong Kong. 25.-26.08.2014: 59-64.Abstract