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

The use of directional antennas in millimeter-wave communication promises high spatial reuse at multi-gigabit-per second data rates in dense wireless...

IMDEA Networks Institute annually holds a by-invitation-only thematic workshop in Madrid. The workshop accompanies a meeting of our Scientific Council comprised of...

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

Network Function Virtualization (NFV), coupled with Software Defined Networking (SDN), promises to revolutionize networking. Operators can create, update or scale...

This presentation considers non-cooperative slotted ALOHA (S-ALOHA) games, in which two users contend for the channel by taking one of...

Faster-than-Nyquist transmission (FTN) is a well-known paradigm for digital communication which has received renewed attention in the wake of the...