Replacing JavaScript as the language of untrusted computation: Use one that allows for certificates of max execution time, memory usage etc.
Conversation
Replying to
I think this is a promising angle of attack since it's both very hard to do in JS and very very useful. If even only for proper scheduling.