Crack the Verifier! (Java SE 6)
Crack the Verifier!
We need your help in making JavaTM SE 6 ("Mustang") more secure. The
new Mustang JDK includes a new approach to verification called the
Type Checking Verifier that includes a performance optimization
breakthrough. But the bytecode verifier is at the heart of Java
security, so a new implementation needs a very strenuous review and
analysis. That is where YOU come in!