This has been solved with information flow security (see [1]), but the problem is that performance degrades enough that no one actually uses it. [1]: http://cs

This has been solved with information flow security (see [1]), but the problem is that performance degrades enough that no one actually uses it. [1]: http://cseweb.ucsd.edu/~lerner/papers/pldi09-sif.pdf http://cseweb.ucsd.edu/~lerner/papers/pldi09-sif.pdf