Hardware support for high performance, intrusion- and fault-tolerant systems | IEEE Conference Publication | IEEE Xplore