Layout Randomization and Nondeterminism

Martín Abadi, Jérémy Planul, Gordon D. Plotkin

Research output: Contribution to journalArticlepeer-review


In security, layout randomization is a popular, effective attack mitigation technique. Recent work has aimed to explain it rigorously, focusing on deterministic systems. In this paper, we study layout randomization in the presence of nondeterministic choice. We develop a semantic approach based on denotational models and simulation relations. This approach abstracts from language details, and helps manage the delicate interaction between probabilities and nondeterminism.
Original languageEnglish
Pages (from-to)29-50
Number of pages22
JournalElectronic Notes in Theoretical Computer Science
Publication statusPublished - 4 Nov 2013

Fingerprint Dive into the research topics of 'Layout Randomization and Nondeterminism'. Together they form a unique fingerprint.

Cite this