Verifying security invariants in ExpressOS

Open Webpage

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

Published: 01 Jan 2013, Last Modified: 11 May 2025ASPLOS 2013EveryoneRevisionsBibTeXCC BY-SA 4.0