New security vulnerability affecting a large number of web
servers and clients uncovered by IMDEA Software Institute
faculty researcher Pierre Yves Strub and
his colleagues at INRIA Rocquencourt, France and Microsoft Research.
The SMACK+Corral software verifier, a collaboration between IMDEA Software Institute, the University of Utah, and Microsoft Research, has been awarded 4 medals in the 4th International Competition on Software Verification (SV-COMP 2015).