Modern OS memory management can be built on a configurable network of address spaces with separate map and grant rights, achieving least privilege at performance comparable to Linux.
Physical Addressing on Real Hardware in Isabelle/HOL
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.OS 1years
2019 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
A Least-Privilege Memory Protection Model for Modern Hardware
Modern OS memory management can be built on a configurable network of address spaces with separate map and grant rights, achieving least privilege at performance comparable to Linux.