Publications related to Private network

Entrepreneurial Opportunities and Threats in the Era of Grand Societal Challenges

We live in an era defined by attempts to grapple with an ever-expanding array of grand societal challenges (GCs). These challenges comprise transformational social and environmental issues, such as environmental degradation and global pandemics, and the cr ...

EPFL2023

Verification of Software Network Functions with No Verification Expertise

Arseniy Zaostrovnykh

Software network functions (NFs), such as a network address translator, load balancer, or proxy, promise to bring flexibility and rapid innovation to computer networks and to reduce operational costs. However, continuous updates and flexibility typically c ...

EPFL2020

Practical Deep Stereo (PDS): Toward applications-friendly deep stereo matching

François Fleuret, Anton Ivanov, Stepan Tulyakov

End-to-end deep-learning networks recently demonstrated extremely good performance for stereo matching. However, existing networks are difficult to use for practical applications since (1) they are memory-hungry and unable to process even modest-size image ...

NEURAL INFORMATION PROCESSING SYSTEMS (NIPS)2018

A Formally Verified NAT

George Candea, Solal Vincenzo Pirelli, Aikaterini Argyraki, Arseniy Zaostrovnykh, Luis David Figueiredo Mascarenhas Moreira Pedrosa

We present a Network Address Translator (NAT) written in C and proven to be semantically correct according to RFC 3022, as well as crash-free and memory-safe. There exists a lot of recent work on network verification, but it mostly assumes models of networ ...

Assoc Computing Machinery2017

A Location-Privacy Threat Stemming from the Use of Shared Public IP Addresses

Jean-Pierre Hubaux, Kévin Clément Huguenin, Nevena Vratonjic, Vincent Bindschaedler

This paper presents a concrete and widespread example of situation where a user’s location privacy is unintentionally compromised by others, specifically the location-privacy threat that exists at access points (public hotspots, FON, home routers, etc.) th ...

Ieee Computer Soc2014

Collaborative Housing and the Intermediation of Moral Hazard

Thomas Alois Weber

This paper considers intermediation in a differentiated short-term housing market where heterogeneous agents may stay at a hotel or at one of several private hosts' properties, below or above hotel quality. The collaborative-housing market fails when agent ...

Ieee2014

The WiseSkin artificial skin for tactile prosthetics: A power budget investigation

Christian Enz, Vladimir Kopta

The use of prosthetic hands are limited partly due to the fact that they lack the provision of sensory feedback to the user. A first step to providing sensory feedback is having adequate sensors in the prosthesis. The WiseSkin project targets the use of ar ...

IEEE2014

How Others Compromise Your Location Privacy: The Case of Shared Public IPs at Hotspots

Jean-Pierre Hubaux, Kévin Clément Huguenin, Nevena Vratonjic, Vincent Bindschaedler

Location privacy has been extensively studied over the last few years, especially in the context of location-based services where users purposely disclose their location to benefit from convenient context-aware services. To date, however, little attention ...

2013

From Uncertainty to Nonlinearity: Solving Virtual Private Network via Single-Sink Buy-at-Bulk

Thomas Rothvoss, Laura Sanità

The virtual private network problem (VPN) models scenarios in which traffic is uncertain or rapidly changing. The goal is supporting at minimum cost a given family of traffic matrices, which are implicitly given by upper bounds on the ingoing and outgoing ...

2011

Fuzzynet: Ringless Routing in a Ring-like Structured Overlay

Karl Aberer, Anwitaman Datta, Wojciech Galuba, Sarunas Girdzijauskas

Many structured overlay networks rely on a ring invariant as a core network connectivity element. The responsibility ranges of the participating peers and navigability principles (greedy routing) heavily depend on the ring structure. For correctness guaran ...

2011

Algebraic techniques for deterministic networks

Christina Fragouli, Javad Ebrahimi Boroojeni

We here summarize some recent advances in the study of linear deterministic networks, recently proposed as approximations for wireless channels. This work started by extending the algebraic framework developed for multicasting over graphs in [1] to include ...

2010

Exploring Ambiguities for Monocular Non-Rigid Shape Estimation

Pascal Fua

Recovering the 3D shape of deformable surfaces from single images is difficult because many different shapes have very similar projections. This is commonly addressed by restricting the set of possible shapes to linear combinations of deformation modes and ...

2010

Optimal Filtering of Source Address Prefixes: Models and Algorithms

Aikaterini Argyraki

How can we protect the network infrastructure from malicious traffic, such as scanning, malicious code propagation, and distributed denial-of-service (DDoS) attacks? One mechanism for blocking malicious traffic is filtering: access control lists (ACLs) can ...

2009

Uncovering the topology of configuration space networks

Paolo De Los Rios, David Sébastien Morton de Lachapelle, David Gfeller

The configuration space network (CSN) of a dynamical system is an effective approach to represent the ensemble of configurations sampled during a simulation and their dynamic connectivity. To elucidate the connection between the CSN topology and the underl ...

2007

A Simplified 8 × 8 Transformation And Quantization Real-Time Ip-Block For MPEG-4 H.264/AVC Applications: A New Design Flow Approach

Marco Mattavelli, Ihab Mostafa Amin Mohamed Amer

Current multimedia design processes suffer from the excessively large time spent on testing new IP-blocks with references based on large video encoders specifications (usually several thousands lines of code). The appropriate testing of a single IP-block m ...

2007

Efficient, self-contained handling of identity in Peer-to-Peer systems

Karl Aberer, Manfred Hauswirth, Anwitaman Datta

Identification is an essential building block for many services in distributed information systems. The quality and purpose of identification may differ, but the basic underlying problem is always to bind a set of attributes to an identifier in a unique an ...

2004