Memory Safety for Low-Level Software/Hardware Interactions
Mondrian memory protection