A Language-theoretic View on Network Protocols
January 31, 2017
Input validation is the first line of defense against malformed or malicious inputs. It is therefore critical that the validator...
[ Read More ]
IMDEA Software faculty member participates in Interpol Workshop
January 30, 2017
IMDEA Software Institute researcher Carmela Troncoso has participated in the 2nd INTERPOL Workshop on Privacy Enhancing Technologies held on the...
[ Read More ]
IMDEA Software faculty member participates in Interpol Workshop
January 30, 2017
IMDEA Software Institute researcher Carmela Troncoso lectures on Privacy by Design at Interpol.
[ Read More ]
IMDEA Software faculty member wins prize for work on privacy protection
January 25, 2017
IMDEA Software Institute researcher Dario Fiore has won with colleagues Michael Backes (DE), Manuel Barbosa (PT), and Raphael M. Reischuk...
[ Read More ]
IMDEA Software faculty member wins prize for work on privacy protection
January 25, 2017
IMDEA Software Institute researcher Dario Fiore has won the first edition of the CNIL/Inria prize on privacy protection.
[ Read More ]
IMDEA Software faculty lecturing at the Spring school “Security & Correctness in the Internet of Things 2017”
January 18, 2017
IMDEA Software Institute researcher Boris Köpf will be lecturing at the Spring school on “Security & Correctness in the Internet...
[ Read More ]
Talk by Miguel Á. Carreira-Perpiñán: Learning binary hash functions for information retrieval applications
January 11, 2017
Searching for the most similar images to a query image in a large database is a high-dimensional nearest-neighbour problem that...
[ Read More ]
