Publications associées à Réseau privé

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