Fault-Resilient Non-interference | IEEE Conference Publication | IEEE Xplore