The IMDEA Software Institute

CADENCE: new service for the recognition of threats available on the market

- Dec 22, 2015 -

IMDEA Software Discovers Vulnerabilities in Amazon Security Software

- Dec 15, 2015 -

IMDEA Software Researchers Mentors in Cybersecurity Accelerator Program

- Dec 7, 2015 -

Raising Innovation & Entrepreneurship Awareness Course

- Dec 2, 2015 -

Senior Officials from the Madrid Regional Government Visiting

- Nov 26, 2015 -

Carmela Troncoso Panelist at Smart City Expo World Congress

- Nov 20, 2015 -

First pan-IMDEA Conference on Science, Industry and Society

- Nov 6, 2015 -

Carmela Troncoso joins the IMDEA Software Institute

- Oct 21, 2015 -

IMDEA Software Researchers Publish Four Papers in Flagship ACM Symposium on Principles of Programming Languages (POPL)

- Oct 10, 2015 -

IMDEA researchers awarded prestigious Spanish grants

- Sep 22, 2015 -

Best Paper Award at JNIC 2015.

- Sep 15, 2015 -

IMDEA Software Institute PhD student Alejandro Sánchez graduates

- Sep 10, 2015 -

The IMDEA Institutes in Madrid Researchers' Night 2015

- Sep 4, 2015 -

Welcome Somesh Jha

- Sep 1, 2015 -

IMDEA Software Researchers Publish Four Papers in Top-Ranked ACM Conference on Computer and Communications Security

- Aug 15, 2015 -

IMDEA Software awarded Syncrypt Project from US Office of Naval Research

- Aug 4, 2015 -

IMDEA Researcher Gives Invited Talk at Conference on Mathematical Foundations of Program Semantics (MFPS)

- Jun 23, 2015 -

IMDEA Software Institute researchers publish in top Embedded Systems Conference

- Jun 16, 2015 -

Distinguished paper awards at S&P ’15

- May 20, 2015 -

COST Action “Runtime Verification Beyond Monitoring (ARVI)” Begins

- May 5, 2015 -

IMDEA Software Institute PhD student Miguel Ángel García de Dios graduates

- Apr 23, 2015 -

IMDEA Software Researchers Publish Four Papers in Top-Ranked Computer Aided Verification Conference

- Apr 17, 2015 -

Best paper award at PEPM '15

- Apr 13, 2015 -

2014 Annual Report Published

- Apr 9, 2015 -

2nd Microsoft Research - IMDEA Software Institute Collaboration Workshop

- Apr 9, 2015 -

IMDEA Software Wins Public-Private Cooperation Honorable Mention

- Mar 15, 2015 -

TLS Encryption-Breaking FREAK Exploit Discovered

- Mar 4, 2015 -

The General Director for Universities and Research visits the IMDEA Software Institute

- Feb 18, 2015 -

Welcome Ben Livshits

- Feb 16, 2015 -

IMDEA Software Researchers Publish Four Papers in Top-Ranked Security and Privacy Conference

- Feb 10, 2015 -

IMDEA Software Institute hosts Itinerant Cryptography Seminars

- Jan 22, 2015 -