The IoT platforms must allow the communication between applications and devices according to non-functional requirements. Some of the main requirements...

The rich data that Massive Open Online Course (MOOC) platforms collect on the behavior of millions of students provide a...

The Transport Layer Security (TLS) protocol is the de-facto standard for encrypted communication on the Internet. However, it has been...

Over the past decade, Internet eXchange Points (IXPs) have been playing a key role in enabling interdomain connectivity by providing...

La Fundación para el Conocimiento Madrimasd celebra un taller de emprendimiento en IMDEA Networks. Durante el taller, Jesús González Rojo,...

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

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...

NewHoRRIzon is a project that aims at further integrating Responsible Research and Innovation (RRI) in the research and innovation systems...