Trustworthy Silicon: An MPSoC for a Secure Operating System | IEEE Conference Publication | IEEE Xplore