@inproceedings{llfaEA,
author={Patrignani, Marco and  Clarke, Dave},
title={{Fully Abstract Trace Semantics of Low-level Protection Mechanisms}},
year={2012},
pages={43-45},
series = {NWPT 2012},
booktitle={Proceedings of the 24th {N}ordic {W}orkshop on {P}rogramming {T}heory},
location={Bergen, Norway}
}