Four papers by IMDEA Software Institute researchers have been accepted
for publication in the proceedings of the 27th International Conference on
Computer Aided Verification, a top-ranked conference in an important field.
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.