@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}, }