Security for safety-critical embedded systems and IOT

We aim to advance the state of the art in security mechanisms for embedded systems. Specifically, we want to develop a formal understanding of defence mechanisms that protect embedded software on light-weight microcontrollers from being tampered with by adversaries and from leaking critical information.