Technology Certifying (RISC) Machine Code Safe from Aliasing (OpenCert 2013)

1. Certifying (RISC) Machine Code Safe from Aliasing Peter T. Breuer University of Birmingham, UK Jonathan P. Bowen London South Bank University, UK 2. Little and Large Problem…