Towards a High Assurance Secure Computing Platform | IEEE Conference Publication | IEEE Xplore