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 simulation relations. This approach abstracts from language details, and helps manage the delicate interaction between probabilities and nondeterminism.
Original language | English |
---|---|
Pages (from-to) | 29-50 |
Number of pages | 22 |
Journal | Electronic Notes in Theoretical Computer Science |
Volume | 298 |
DOIs | |
Publication status | Published - 4 Nov 2013 |