IMDEA initiative

news & events

Apr 9, 2015

The 2nd Microsoft Research - IMDEA Software Institute Collaboration Workshop (MICW 2015) took place April 9 and 10.

Mar 4, 2015

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.

Feb 10, 2015

Four papers by IMDEA Software Institute researchers have been accepted for publication at Symposium on Security and Privacy, a top-ranked conference in this important area.

Dec 23, 2014

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