Affiliation:
1. Microsoft Research, Silicon Valley
Abstract
Layout randomization is a powerful, popular technique for software protection. We present it and study it in programming-language terms. More specifically, we consider layout randomization as part of an implementation for a high-level programming language; the implementation translates this language to a lower-level language in which memory addresses are numbers. We analyze this implementation, by relating low-level attacks against the implementation to contexts in the high-level programming language, and by establishing full abstraction results.
Publisher
Association for Computing Machinery (ACM)
Subject
Safety, Risk, Reliability and Quality,General Computer Science
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Two Parametricities Versus Three Universal Types;ACM Transactions on Programming Languages and Systems;2022-09-21
2. Reconciling optimization with secure compilation;Proceedings of the ACM on Programming Languages;2021-10-20
3. Robustly Safe Compilation, an Efficient Form of Secure Compilation;ACM Transactions on Programming Languages and Systems;2021-04
4. Linear capabilities for fully abstract compilation of separation-logic-verified code;Journal of Functional Programming;2021
5. Secure delivery of program properties through optimizing compilation;Proceedings of the 29th International Conference on Compiler Construction;2020-02-22