@inproceedings{P111.228,
author={Zhao, Lu and Li, Guodong and De Sutter, Bjorn and Regehr, John},
title={ARMor : fully verified software fault isolation},
booktitle={2011 International Conference on Embedded Software (EMSOFT 2011)},
year={2011},
pages={289-298},
publisher={Association for Computing Machinery (ACM)},
address={New York, USA},
}