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.