Avoiding Hardware Aliasing: Verifying RISC Machine and Assembly Code for Encrypted Computing.

Peter T. Breuer, Jonathan P. Bowen

Browse the full ISSRE paper archive.