Certifying Machine Code Safe from Hardware Aliasing: RISC is Not Necessarily Risky.

Peter T. Breuer, Jonathan P. Bowen

Browse the full SEFM paper archive.