Trustworthy Silicon: An MPSoC for a Secure Operating System. - Sebastian Haas; Christopher Dunkel; Friedrich Pauls; Mattis Hasler; Yogesh Verma (NorCAS, 2024)