[Posted from: jdk.dev.java.net]
We need your help in making Java
TMSE 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!
Link: Crack the Verifier
Link: Crack the Verifier Challenge