Saturday, August 27, 2005

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