The paper Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations, co-authored by IMDEA Software...

The paper Computer-Aided Security Proofs for the Working Cryptographer, co-authored by IMDEA Software Institute Research...

The paper Measuring Pay-per-Install: The Commoditization of Malware Distribution, co-authored by IMDEA Software Institut...

Manuel Hermenegildo, Institute Director, was, with Professors Michael Leuschel (University of Düsseldorf) and Antonio Po...

IMDEA Software Institute security research tying most malware to ‘Pay-Per-Install’ (PPI) market reported in ...

Pavithra Prabhakar obtained her doctorate in Computer Science from the University of Illinois at Urbana-Champaign in 201...

The IMDEA Software Institute has published its 2010 Annual Report.

AbsInt and IMDEA signed an agreement to collaborate on the development of the ASTREE static analyzer, commercialized by ...

Alexey Gotsman, Assistant Professor at the IMDEA Software Institute, is the winner of the 2010 EAPLS Best Dissertation A...

Laurent Mauborgne, Researcher at the IMDEA Software Institute, is one of the winners of the Intelligent Systems Best Pap...

John Gallagher has been granted a 3-year research project (2011-2013) by the Danish Natural Science Research Council (FN...