面向隐藏确定性硬件别名与加密计算的安全编译
密码学与安全
2019-01-31 v1 编程语言
软件工程
摘要
硬件别名是指同一逻辑地址偶尔访问不同物理内存位置的现象，是系统程序员遇到的问题（其反面即软件别名，指不同地址访问同一位置，应用程序员更为熟悉）。本文展示了如何编译以使代码在存在{\em 隐藏确定性}硬件别名的情况下仍能正常工作。这意味着地址的副本总是访问同一位置，且以完全相同方式重新计算也总是给出相同的访问，但在其他情况下访问显得任意且不可预测。该技术还被扩展以涵盖新兴的加密计算技术。
引用
@article{arxiv.1901.10926,
title = {Safe Compilation for Hidden Deterministic Hardware Aliasing and Encrypted Computing},
author = {Peter T. Breuer},
journal= {arXiv preprint arXiv:1901.10926},
year = {2019}
}
备注
16 pages, early version of submission prepared for Ada-Europe 2019