US8091128B2 - Information Flow Enforcement for RISC-Style Assembly Code in the Presence of Timing-Related Covert Channels and Multi-Threading