| emsoft | participants

Lu Zhao

EMSOFT 2011: 11th International Conference on Embedded Software

ARMor: Fully Verified Software Fault Isolation

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