Verifying security invariants in ExpressOS.

Haohui Mai, Edgar Pek, Hui Xue, Samuel Talmadge King, Parthasarathy Madhusudan

Browse the full ASPLOS paper archive.