Two things I learned from
this paper:
- The byte code verification in Java is quite complicated (good thing I haven't attempted it in Vajra yet).
- It is also Godel-incomplete, in a kind of way.
I was actually under the impression that Java was more secure, so make that three things. The reason for this could be that I was subconsciously conflating .NET with the Windows OS.