Association for Computing Machinery
The authors present minos, a micro-architecture that implements biba's low water-mark integrity policy on individual words of data. Minos stops attacks that corrupt control data to hijack program control flow, but is orthogonal to the memory model. Control data is any data that is loaded into the program counter on control-flow transfer, or any data used to calculate such data. The key is that minos tracks the integrity of all data, but protects control flow by checking this integrity when a program uses the data for control transfer.