The IMDEA Software Institute

Dario Fiore is awarded an ERC Consolidator Grant for the PICOCRYPT project

Dario Fiore is awarded an ERC Consolidator Grant for the PICOCRYPT project

- Dec 9, 2020 -

On Algebraic Abstractions for Concurrent Separation Logics, has been accepted at POPL 2021

On Algebraic Abstractions for Concurrent Separation Logics, has been accepted at POPL 2021

- Nov 30, 2020 -

Manuel Hermenegildo gives the Opening Keynote, on "Cost Analysis of Smart Contracts via Parametric Resource Analysis," at the top conference on Static Program Analysis SAS 2020

Manuel Hermenegildo gives the Opening Keynote, on "Cost Analysis of Smart Contracts via Parametric Resource Analysis," at the top conference on Static Program Analysis SAS 2020

- Nov 20, 2020 -

Around 80 people attended the virtual 15th REDIMadrid 2020 Conference

- Oct 21, 2020 -

Elena Gutiérrez's defended her thesis: "New Perspectives on Classical Automata Constructions"

Elena Gutiérrez's defended her thesis: "New Perspectives on Classical Automata Constructions"

- Oct 9, 2020 -

FPGA-Accelerated Analytics: From Single Nodes to Clusters

FPGA-Accelerated Analytics: From Single Nodes to Clusters

- Oct 5, 2020 -

Liquid Haskell as a GHC Plugin, a superior solution to the old approach

Liquid Haskell as a GHC Plugin, a superior solution to the old approach

- Sep 10, 2020 -

Pierre Ganty, Elena Gutiérrez and Pedro Valero publish: A Quasiorder-based Perspective in Residual Automata

Pierre Ganty, Elena Gutiérrez and Pedro Valero publish: A Quasiorder-based Perspective in Residual Automata

- Aug 31, 2020 -

Non-Malleable Secret Sharing against Bounded Joint-Tampering Attacks in the Plain Model

Non-Malleable Secret Sharing against Bounded Joint-Tampering Attacks in the Plain Model

- Aug 28, 2020 -

Pedro Valero defended successfully his thesis: “On the use of Quasiorders in Formal Language Theory”

Pedro Valero defended successfully his thesis: “On the use of Quasiorders in Formal Language Theory”

- Jul 30, 2020 -

Learning secrets and models from execution time

Learning secrets and models from execution time

- Jul 2, 2020 -

IMDEA Software awarded at the 5th Edition of the Mutua Universal Health and Innovation Awards

IMDEA Software awarded at the 5th Edition of the Mutua Universal Health and Innovation Awards

- Jun 22, 2020 -

Ignacio Cascudo and Bernardo David have published ALBATROSS: publicly AttestabLe BATched Randomness based On Secret Sharing

Ignacio Cascudo and Bernardo David have published ALBATROSS: publicly AttestabLe BATched Randomness based On Secret Sharing

- Jun 11, 2020 -

Learning Replacement Policies from Hardware Caches towards more secure systems

Learning Replacement Policies from Hardware Caches towards more secure systems

- Jun 1, 2020 -

The IMDEA Software Institute and BBVA are partnering to research advanced cryptographic techniques

The IMDEA Software Institute and BBVA are partnering to research advanced cryptographic techniques

- May 4, 2020 -

Pepe Vila explains at RootedCON the automata theory for reversing modern CPUs

Pepe Vila explains at RootedCON the automata theory for reversing modern CPUs

- Mar 11, 2020 -

Almost 100 students from various schools came to 'Breaking Codes: Women and Girls in Science'.

Almost 100 students from various schools came to 'Breaking Codes: Women and Girls in Science'.

- Feb 20, 2020 -

Three days of hackathon, over 24 hours of coding and three awards. This is how chainrEaction ended

Three days of hackathon, over 24 hours of coding and three awards. This is how chainrEaction ended

- Feb 12, 2020 -

IMDEA Software and Nomadic Labs sign an agreement placing Spain at the forefront of research in the Tezos ecosystem

- Jan 16, 2020 -