The IMDEA Software Institute

OPENQKD, the project that has installed a test quantum communication infrastructure in several European countries, has finalized

- Dec 18, 2022 -

Madrid hosts the last meeting of the European project OPENQKD, which has brought together companies, academics and researchers

- Dec 16, 2022 -

IMDEA Software creates a tool capable of tracking cybercrime financial transactions in Bitcoin

- Dec 13, 2022 -

Isabel García-Contreras' thesis awarded a UPM 2020/2021 best PhD thesis award

- Dec 12, 2022 -

IMDEA Software organizes a practical communication course for researchers

- Nov 23, 2022 -

50 students from Ciempozuelos and Leganés high schools participated in the Gymkhana: Software Matters

- Nov 14, 2022 -

IMDEA Software researchers get 8 papers accepted at the CCS Conference

- Nov 14, 2022 -

Strong participation of IMDEA Researchers in the Prolog Day Symposium

- Nov 10, 2022 -

IMDEA Software has participated in the first edition of the Patents for Innovation Fair

- Oct 28, 2022 -

More than 70 people attended the XVII Jornadas REDIMadrid last October 18

- Oct 20, 2022 -

Multi: a Formal Playground for Multi-Smart Contract Interaction

- Oct 6, 2022 -

IMDEA Software, in the European Researchers Night of Madrid 2022

- Oct 3, 2022 -

Anaïs Querol presents "ARCHITECH: Advanced Research of Cryptographic Techniques to build efficient blockchains with privacy and security", her doctoral thesis

- Sep 30, 2022 -

GandALF 2022, the international symposium on Games, Automata, Logics, and Formal Verification culminates after three days of intense sessions

- Sep 27, 2022 -

Setchain, the application that multiplies by a thousand the number of transactions per minute in any blockchain

- Sep 26, 2022 -

The student David Mateos has been selected to be part of the Spanish team participating in the European Cyber Security Challenge

- Sep 9, 2022 -

Manuel Hermenegildo gave a keynote at the SISTEDES 2022 Conference dedicated to Prolog

- Sep 8, 2022 -

Madrid Flight On Chip project ends and reaches a milestone in the design and verification of complex space systems

- Jul 29, 2022 -

Two IMDEA Software researchers win a Juan de la Cierva-training and a Ramón y Cajal grant

- Jul 13, 2022 -

Up to 90% of governmental websites include cookies of third-party trackers

- Jul 4, 2022 -

The first My I[M]DEA Show Your Work Day culminates with three winning posters from a total of 15 participants

- Jul 1, 2022 -

IMDEA Software participates in the Digital Enterprise Show, at the Madrid Innovation Transfer Zone

- Jun 17, 2022 -

IMDEA Software will be part of the four digitization clusters in the Madrid region

- May 31, 2022 -

IMDEA Software sponsors and participates in the AdaByron programming contest in Madrid

- May 27, 2022 -

Plenty of IMDEA Software students attended the -How to ride the research rollercoaster: effective presentation skills- workshop

- May 26, 2022 -

Do the descriptions of app updates match the actual changes?

- May 25, 2022 -

Felipe Gorostiaga successfully defended his doctoral Thesis: "Theory and Practice of Stream Runtime Verification for Sequences and Real-Time Event Based Systems"

- May 19, 2022 -

David Balbás receives the award for the best Master's thesis in the area of Cryptology and Information Security, from ITEFI

- May 17, 2022 -

Progressive And Efficient Verification For Digital Signatures

- Apr 20, 2022 -

IMDEA Software works to deploy the largest regional quantum network in Europe

- Mar 24, 2022 -

Sleepy Channels: a new protocol that makes cryptocurrencies safe without investing in watchtowers

- Mar 23, 2022 -

IMDEA Software participates in MadQuantum-CM, a project with a budget of more than 18.5 M€ for the development of quantum communications infrastructures

- Mar 18, 2022 -

More than 20,000 people attended the 11th Madrid is Science Fair in which Institute IMDEA Software participated

- Mar 7, 2022 -

Entrepreneurs, institutions and authorities met to celebrate the 15th anniversary of the IMDEA institutes

- Feb 28, 2022 -

Progressive And Efficient Verification For Digital Signatures

- Feb 14, 2022 -

More than 40 people attended the event organized by IMDEA Software on the International Day of Women and Girls in Science

- Feb 11, 2022 -

REDIMadrid Utilizes GenieATM to Maximize DDoS Protection for Universities in Madrid

- Jan 20, 2022 -

Niki Vazou has been awarded an ERC Starting Grant worth 1.5 million euros for the CRETE project

- Jan 11, 2022 -