# Safe Compilation for Hidden Deterministic Hardware Aliasing and Encrypted Computing

## TL;DR

This paper presents a compilation technique that ensures reliable code execution despite hidden deterministic hardware aliasing and extends this approach to encrypted computing environments.

## Contribution

It introduces a method for compiling code to handle hidden deterministic aliasing and adapts it for encrypted computing, addressing a complex hardware challenge.

## Key findings

- Compilation guarantees consistent memory access in aliasing scenarios
- Technique applicable to encrypted computing environments
- Addresses a hardware aliasing problem for system reliability

## Abstract

Hardware aliasing occurs when the same logical address sporadically accesses different physical memory locations and is a problem encountered by systems programmers (the opposite, software aliasing, when different addresses access the same location, is more familiar to application programmers). This paper shows how to compile so code works in the presence of {\em hidden deterministic} hardware aliasing. That means that a copy of an address always accesses the same location, and recalculating it exactly the same way also always gives the same access, but otherwise access appears arbitrary and unpredictable. The technique is extended to cover the emerging technology of encrypted computing too.