Haohui Mai, Edgar Pek, Hui Xue, Samuel Talmadge King, Parthasarathy Madhusudan. Verifying security invariants in ExpressOS. In Vivek Sarkar, Rastislav BodÃk, editors, Architectural Support for Programming Languages and Operating Systems, ASPLOS '13, Houston, TX, USA - March 16 - 20, 2013. pages 293-304, ACM, 2013. [doi]
Abstract is missing.