.NET more secure than Java

Two things I learned from this paper:

1. The byte code verification in Java is quite complicated (good thing I haven't attempted it in Vajra yet).


2. 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.