IMDEA initiative

news & events

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 18, 2015

Last Wednesday, February 18th, the General Director for Universities and Research of the Madrid Regional Government, visited the premises of IMDEA Software Institute.

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