On Protection by Layout Randomization

Martín Abadi, Gordon D. Plotkin

Research output: Contribution to journalArticlepeer-review


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.
Original languageEnglish
Article number8
Number of pages29
JournalACM Transactions on Information and System Security
Issue number2
Publication statusPublished - 1 Jul 2012


  • Randomization, protection

Fingerprint Dive into the research topics of 'On Protection by Layout Randomization'. Together they form a unique fingerprint.

Cite this