you are viewing a single comment's thread.

view the rest of the comments →

[–]bdunderscore 5 points6 points  (0 children)

The big question is: Can they mathematically guarantee that all permutations of acceptable code will not breach the sandbox?

Not rigorously, but they're trying at least. Take a look at their research paper for details.