Securing untrusted code via compiler-agnostic binary rewriting
Efficient software-based fault isolation