WASHBURN WELDON

Processor extensions and software verification to support type-safe language environments running with untrusted code