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. © 2012 ACM.
CITATION STYLE
Abadi, M., & Plotkin, G. D. (2012). On protection by layout randomization. ACM Transactions on Information and System Security, 15(2). https://doi.org/10.1145/2240276.2240279
Mendeley helps you to discover research relevant for your work.