[hb-robo]

That's quite interesting. This is way outside of my wheelhouse - has this kind of approach been tried in other security contexts before? What would you even call that, virtualization?

[dmitrygr]

The word is "bytecode" and the idea is as old as computing.

[tubs]

Java.