Hardening your embedded system with Secure Elements

Using the challenge of securing cars as a motivational example, we give an overview of the different options to create assurance via deploying security primitives such as e.g. keys as distributed system, ranging from process isolation, via dedicated coprocessors, dedicated cores to dedicated chips. The presentation includes an example where the PikeOS MILS separation kernel used keys stored in a dedicated secure environment