@misc{indiciaea97570181a2f,
  title = {Certifying Machine Code Safe from Hardware Aliasing: RISC is not necessarily risky},
  author = {Peter T. Breuer and Jonathan P. Bowen},
  year = {2013},
  doi = {10.1007/978-3-319-05032-4\_27},
  url = {https://arxiv.org/abs/1305.6431},
  note = {Source identifier: 1305.6431}
}