IMDEA Software Institute News
The third ERC awarded to researchers from the IMDEA Software Institute
Nov 30, 2020: On Algebraic Abstractions for Concurrent Separation Logics, has been accepted at POPL 2021
This paper presents a novel, algebraic treatment of
the assertion language of separation logics
The work explores the application of Parametric Resource Analysis
to the static inference of gas and storage consumption bounds for smart contracts
The conference featured 8 interesting presentations, two of them on forthcoming papers, and a colloquium
Oct 9, 2020: Elena Gutiérrez's defended her thesis: "New Perspectives on Classical Automata Constructions"
A new theoretical perspective on a collection of open problems of classical automata constructions and well-established algorithms
Using reconfigurable hardware accelerators to accelerate analytical processing
The work was presented at the Haskell Implementors’ Workshop (HIW 2020) in ICFP 2020
Aug 31, 2020: Pierre Ganty, Elena Gutiérrez and Pedro Valero publish: A Quasiorder-based Perspective in Residual Automata
They present a new residualization operation and a generalized Brzozowski's
method for building the minimal residual automaton for a given language.
Aug 28, 2020: Non-Malleable Secret Sharing against Bounded Joint-Tampering Attacks in the Plain Model
They construct non-malleable secret sharing schemes secure against attackers
Jul 30, 2020: Pedro Valero defended successfully his thesis: “On the use of Quasiorders in Formal Language Theory”
He uses quasiorders on words to offer a new perspective on
two well-studied problems from Formal Language Theory
Jul 2, 2020: Learning secrets and models from execution time
Pepe Vila defended succesfully his PhD thesis advised by Prof. Boris Köpf
Jun 22, 2020: IMDEA Software awarded at the 5th Edition of the Mutua Universal Health and Innovation Awards
Awarded with the prize for the best innovative practice in health
promotion in the category of small and medium enterprises
Jun 11, 2020: Ignacio Cascudo and Bernardo David have published ALBATROSS: publicly AttestabLe BATched Randomness based On Secret Sharing
Multiparty randomness generation protocols with guaranteed output delivery and public verification
CacheQuery: Learning Replacement Policies from Hardware Caches has been accepted at PLDI 2020
May 4, 2020: The IMDEA Software Institute and BBVA are partnering to research advanced cryptographic techniques
A key technology to create data-based digital solutions that protect the privacy and security of users’ data.
Last 7th of March the researcher of the IMDEA Sofware Institute was speaker at RootedCON
Feb 20, 2020: Almost 100 students from various schools came to 'Breaking Codes: Women and Girls in Science'.
The 11th of February, on the occasion of the International Day of Woman and Girl in Science
Feb 12, 2020: Three days of hackathon, over 24 hours of coding and three awards. This is how chainrEaction ended
The three awards, sponsored by the Tezos Foundation, ended 11 prize-winning participants
Jan 16, 2020: IMDEA Software and Nomadic Labs sign an agreement placing Spain at the forefront of research in the Tezos ecosystem
A collaboration agreement to conduct research at the highest level in the Institute's research areas with the aim of contributing to the development of the Tezos ecosystem