ARMor: fully verified software fault isolation.

Lu Zhao, Guodong Li, Bjorn De Sutter, John Regehr

Browse the full EMSOFT paper archive.