-

Publications of Lu Zhao

Conference publications

  1. Lu Zhao, Guodong Li, Bjorn De Sutter and John Regehr ARMor : fully verified software fault isolation 2011 International Conference on Embedded Software (EMSOFT 2011), pp. 289-298 (2011)