Towards Verifiably Secure Systems-on-Chip Platforms | IEEE Conference Publication | IEEE Xplore