[PDF][PDF] MSpec: Automated Safety Reasoning for OS Compartmentalization

VA Bădoiu - vladandrew.github.io
An increasingly vast array of security mechanisms that can be used to improve the safety of
software including addressspace isolation, CPU protection levels, memory-protection keys …