Home > Events

Events

Jun 14 2018
We present Vera, a tool that exhaustively verifies P4 programs using symbolic execution. Vera automatically uncovers a number of common bugs including parsing/deparsing errors, invalid memory accesses, loops and tunneling errors, among others.... +
Jun 07 2018
The proliferation of handheld devices and the pressing need of location-based services call for precise and accurate ubiquitous geographic mobile positioning that can serve a vast set of devices. Despite the large investments and efforts in... +
Jun 07 2018
The use of directional antennas in millimeter-wave communication promises high spatial reuse at multi-gigabit-per second data rates in dense wireless networks. Existing work studies such networks using commercial hardware but is limited to... +
May 22 2018
We consider the problem of estimating the trajectory of a submerged source emitting acoustic signals by employing a single passive receiver, without any anchor nodes and without a receiving array. Elizaveta Dubrovinskaya, PhD Student, IMDEA... +
May 22 2018
NewHoRRIzon is a project that aims at further integrating Responsible Research and Innovation (RRI) in the research and innovation systems on national and international levels. The concept of RRI is an approach which intends to bridge gaps... +
May 16 2018
We present a scalable dynamic analysis framework that allows for the automatic evaluation of the privacy behaviors of Android apps. We use our system to analyze mobile apps' compliance with the Children's Online Privacy Protection Act (COPPA),... +
May 16 2018
Network Function Virtualization (NFV), coupled with Software Defined Networking (SDN), promises to revolutionize networking. Operators can create, update or scale out/in (virtualized) network functions (vNFs) on demand, construct a sequence of... +
Apr 26 2018
This presentation considers non-cooperative slotted ALOHA (S-ALOHA) games, in which two users contend for the channel by taking one of two actions, i.e., transmit or wait. We first show an achievable (expected) payoff region of the games with... +
Apr 18 2018
On April 12, 2018, the European Commission published the 2018 call for the following actions in the framework of the Marie Skłodowska-Curie Individual Fellowships Topic (Horizon 2020, Pillar: Excellent Science; Work Programme Year: H2020-2018-... +
Apr 18 2018
IMDEA Networks Institute annually holds a by-invitation-only thematic workshop in Madrid. The workshop accompanies a meeting of our Scientific Council comprised of prominent researchers. Members of IMDEA Networks’ Scientific Council and... +

Pages