Layout Randomization and Nondeterminism

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 d...

Full description

Saved in:
Bibliographic Details
Published inElectronic notes in theoretical computer science Vol. 298; pp. 29 - 50
Main Authors Abadi, Martín, Planul, Jérémy, Plotkin, Gordon
Format Journal Article
LanguageEnglish
Published Elsevier B.V 04.11.2013
Subjects
full abstraction
nondeterminism
probabilities
security
semantics
security
semantics
probabilities
full abstraction
nondeterminism
Online AccessGet full text
ISSN1571-0661
1571-0661
DOI10.1016/j.entcs.2013.09.006

Cover

More Information
Summary: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.
ISSN:1571-0661
1571-0661
DOI:10.1016/j.entcs.2013.09.006