IMDEA initiative

news & events

May 20, 2015

Faculty member Pierre Yves Strub and PhD student Antonio Nappa each won a prestigious distinguished paper award at the 2015 IEEE Symposium on Security and Privacy.

Apr 17, 2015

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.

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.