How to implement a safe sandbox.

That remains to be battle tested, and there are already some USENIX talks on the matter.

Sticking it in every modern web browser for the past several years is a pretty good way of battle testing it!

Except this isn't a browser, and a bytecode paper standard isn't an implementation.

Well, if you rephrase that slightly, it probably covers the main idea:

> How to implement a safe<<R>> sandbox.