IMDEA initiative
The 2nd Microsoft Research - IMDEA Software Institute Collaboration Workshop (MICW 2015) took place April 9 and 10.
+ more
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.
+ more
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.
+ more
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).
+ more