The Madrimasd Foundation for Knowledge (mi+d) celebrates an entrepreneurship workshop at IMDEA Networks. During the workshop, Jesús González Rojo, Head...

This work considers the scheduling problem of a decentralized system where a number of dynamical subsystems with no computational power...

IMDEA-CSI: Crime scene investigation (Season 2) at The European Researchers' Night in Madrid 2018 «All for one and one for...

The consumption of multimedia content is moving from a residential environment to mobile phones. Mobile data traffic, driven mostly by video...

ACM SIGCOMM is a flagship conference in computer-networking research. Its participants include leading academics, brilliant students, and representatives of major multinational companies...

Blockchain is an emerging technology first used for digital currency transactions in Bitcoin. New blockchain platforms are now recognised as...

We present a scalable dynamic analysis framework that allows for the automatic evaluation of the privacy behaviors of Android apps....

We present Vera, a tool that exhaustively verifies P4 programs using symbolic execution. Vera automatically uncovers a number of common...

We consider the problem of estimating the trajectory of a submerged source emitting acoustic signals by employing a single passive...

The proliferation of handheld devices and the pressing need of location-based services call for precise and accurate ubiquitous geographic mobile...