Memory Safety for Low-Level Software/Hardware Interactions
Efficient software-based fault isolation