@inbook{aa7b4518bd6c4be5b68962a1ccf3bb3e,
title = "Layout Randomization and Nondeterminism",
abstract = "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 the induced notions of contextual public observation, characterized by simulation relations. This approach abstracts from language details, and helps manage the delicate interaction between nondeterminism and probability. In particular, memory access probabilities are not independent, but rather depend on a fixed probability distribution over memory layouts; we therefore model probability using random variables rather than any notion of probabilistic powerdomain.",
author = "Mart{\'i}n Abadi and J{\'e}r{\'e}my Planul and Plotkin, {Gordon D.}",
year = "2014",
doi = "10.1007/978-3-319-06880-0_1",
language = "English",
isbn = "978-3-319-06879-4",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "1--39",
editor = "{van Breugel}, Franck and Elham Kashefi and Catuscia Palamidessi and Jan Rutten",
booktitle = "Horizons of the Mind. A Tribute to Prakash Panangaden",
address = "United Kingdom",
}