A Theory and Tools for Applying Sandboxes Effectively
Efficient software-based fault isolation