The goal of SEIZE is to enable authentic execution of critical control
tasks in industrial zero-trust environments. To achieve this, we follow a defense-in-depth strategy that strengthens the security of individual components as well as their composition on the one side, while deriving security statements/guarantees for critical components on the other side. Our strategy not only applies to the architectural level but also incorporates the context of side-channels.